Related content

Trail-Directed Model Checking

By Edelkamp S.   Lluch-Lafuente A.   Leue S.  

Electronic Notes in Theoretical Computer Science, Vol. 55, Iss. 3, 2004-01 ,pp. : 1-14

Elsevier

Access to resources Recommend Favorite

Deciding Global Partial-Order Properties

By Alur Rajeev   McMillan Ken   Peled Doron  

Formal Methods in System Design, Vol. 26, Iss. 1, 2005-01 ,pp. : 7-25

Springer Publishing Company

Access to resources Recommend Favorite

MACHINE LEARNING IN HYBRID HIERARCHICAL AND PARTIAL-ORDER PLANNERS FOR MANUFACTURING DOMAINS

By Fernández Susana   Aler Ricardo   Borrajo Daniel  

Applied Artificial Intelligence, Vol. 19, Iss. 8, 2005-09 ,pp. : 783-809

Taylor & Francis Ltd

Access to resources Recommend Favorite

Directed explicit-state model checking in the validation of communication protocols

By Edelkamp Stefan   Leue Stefan   Lluch-Lafuente Alberto  

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

Springer Publishing Company

Access to resources Recommend Favorite

Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking

By Barner Sharon   Grumberg Orna  

Formal Methods in System Design, Vol. 27, Iss. 1-2, 2005-09 ,pp. : 29-66

Springer Publishing Company

Access to resources Recommend Favorite