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影响因子(影响力)学科排名




书目名称Automated Technology for Verification and Analysis网络公开度




书目名称Automated Technology for Verification and Analysis网络公开度学科排名




书目名称Automated Technology for Verification and Analysis被引频次




书目名称Automated Technology for Verification and Analysis被引频次学科排名




书目名称Automated Technology for Verification and Analysis年度引用




书目名称Automated Technology for Verification and Analysis年度引用学科排名




书目名称Automated Technology for Verification and Analysis读者反馈




书目名称Automated Technology for Verification and Analysis读者反馈学科排名

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