Bayesian statistical model checking with application to Stateflow/Simulink verification

Author： Zuliani Paolo   Platzer André   Clarke Edmund  

Publisher： Springer Publishing Company

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.43, Iss.2, 2013-10, pp. : 338-367

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Bytecode Verification by Model Checking

By Basin David   Friedrich Stefan   Gawkowski Marek  

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 399-444

Springer Publishing Company

Access to resources Recommend Favorite

Numerical vs. statistical probabilistic model checking

By Younes Håkan   Kwiatkowska Marta   Norman Gethin   Parker David  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 3, 2006-06 ,pp. : 216-228

Springer Publishing Company

Access to resources Recommend Favorite

Modular Verification of Open Features Using Three-Valued Model Checking

By Li Harry  

Automated Software Engineering, Vol. 12, Iss. 3, 2005-07 ,pp. : 349-382

Springer Publishing Company

Access to resources Recommend Favorite

Model checking-based safety verification for railway signal safety protocol-I

By Meng Mei   Zhongwei Xu   Xi Wang   Yongbing Wan  

International Journal of Computer Applications in Technology, Vol. 46, Iss. 3, 2013-03 ,pp. : 195-202

Inderscience Publishers

Access to resources Recommend Favorite

A model checking-based approach for security policy verification of mobile systems

By Braghin Chiara  

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 627-648

Springer Publishing Company

Access to resources Recommend Favorite