Related content

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

Data structures for symbolic multi-valued model-checking

By Chechik Marsha   Gurfinkel Arie   Devereux Benet   Lai Albert   Easterbrook Steve  

Formal Methods in System Design, Vol. 29, Iss. 3, 2006-11 ,pp. : 295-344

Springer Publishing Company

Access to resources Recommend Favorite

Counter-example generation in symbolic abstract model-checking

By Pace Gordon   Halbwachs Nicolas   Raymond Pascal  

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 2-3, 2004-03 ,pp. : 158-164

Springer Publishing Company

Access to resources Recommend Favorite

Computable fixpoints in well-structured symbolic model checking

By Bertrand N.   Schnoebelen P.  

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

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