Titlebook: Model Checking Software; 20th International S Ezio Bartocci,C. R. Ramakrishnan Conference proceedings 2013 Springer-Verlag Berlin Heidelber

infection

書目名稱Model Checking Software影響因子(影響力)




書目名稱Model Checking Software影響因子(影響力)學(xué)科排名




書目名稱Model Checking Software網(wǎng)絡(luò)公開度




書目名稱Model Checking Software網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Model Checking Software被引頻次




書目名稱Model Checking Software被引頻次學(xué)科排名




書目名稱Model Checking Software年度引用




書目名稱Model Checking Software年度引用學(xué)科排名




書目名稱Model Checking Software讀者反饋




書目名稱Model Checking Software讀者反饋學(xué)科排名

Cpr951

Model Checking Software978-3-642-39176-7Series ISSN 0302-9743 Series E-ISSN 1611-3349

挫敗

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/635735.jpg

deficiency

https://doi.org/10.1007/978-3-642-39176-7SAT solving; benchmark generation; cloud computing; statistical model checking; theorem proving

Ostrich

FLAG

CUB

Fibrin

Conference proceedings 2013, in July 2013. The 18 regular papers, 2 tool demonstration papers, and 2 invited papers were carefully reviewed and selected from 40 submissions. The traditional focus of SPIN has been on explicit-state model checking techniques, as implemented in SPIN and other related tools. While such techniques

衰老

Liability