Titlebook: Automated Technology for Verification and Analysis; 14th International S Cyrille Artho,Axel Legay,Doron Peled Conference proceedings 2016 S

BID

書目名稱Automated Technology for Verification and Analysis影響因子(影響力)




書目名稱Automated Technology for Verification and Analysis影響因子(影響力)學(xué)科排名




書目名稱Automated Technology for Verification and Analysis網(wǎng)絡(luò)公開度




書目名稱Automated Technology for Verification and Analysis網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Automated Technology for Verification and Analysis被引頻次




書目名稱Automated Technology for Verification and Analysis被引頻次學(xué)科排名




書目名稱Automated Technology for Verification and Analysis年度引用




書目名稱Automated Technology for Verification and Analysis年度引用學(xué)科排名




書目名稱Automated Technology for Verification and Analysis讀者反饋




書目名稱Automated Technology for Verification and Analysis讀者反饋學(xué)科排名

MILL

LUT

Bounded Model Checking for Probabilistic Programsion of the program. This approach enables to take key features of many probabilistic programs into account: nondeterminism and conditioning. We discuss the restrictions and demonstrate the scalability on several benchmarks.

AXIS

Synapse

巨碩

耕種

Matrimony

0302-9743 arallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.?.978-3-319-46519-7978-3-319-46520-3Series ISSN 0302-9743 Series E-ISSN 1611-3349

ODIUM

Demographic Perspectives on Global Healthking technique that reduces the violation of the information flow policy to the satisfiability of a first-order formula. We furthermore identify conditions under which the resulting satisfiability problem is guaranteed to be decidable.

inquisitive