A Platform for Analyzing Behaviors of Service-Oriented Application Based on the Probabilistic Model Checking

By  

International Journal of Software Innovation (IJSI), Vol. 3, Iss. 2, 2015-04 ,pp. : 24-38

IGI Global_journal

Access to resources Recommend Favorite

Model checking for probabilistic timed automata

By Norman Gethin   Parker David   Sproston Jeremy  

Formal Methods in System Design, Vol. 43, Iss. 2, 2013-10 ,pp. : 164-190

Springer Publishing Company

Access to resources Recommend Favorite

Advanced methods for equivalence checking of analog circuits with strong nonlinearities

By Steinhorst Sebastian   Hedrich Lars  

Formal Methods in System Design, Vol. 36, Iss. 2, 2010-06 ,pp. : 131-147

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

Probabilistic symbolic model checking with PRISM: a hybrid approach

By Kwiatkowska Marta   Norman Gethin   Parker David  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 2, 2004-08 ,pp. : 128-142

Springer Publishing Company

Access to resources Recommend Favorite