Related content

Mapping OWL-S Process Model to Timed Automata: A Model-Checking Timed Temporal Logic Oriented Approach

By  

Journal of Information Technology Research (JITR), Vol. 11, Iss. 1, 2018-01 ,pp. : 29-48

IGI Global_journal

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

Distributed model-checking and counterexample search for CTL logic

By Boukala Mohand Cherif  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 44-59

Inderscience Publishers

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

Coverage metrics for temporal logic model checking^*

By Chockler Hana   Kupferman Orna   Vardi Moshe  

Formal Methods in System Design, Vol. 28, Iss. 3, 2006-05 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite