Formula-based abstractions and symbolic execution for model checking programs

Author： Santone A.   Vaglini G.  

Publisher： Elsevier

ISSN： 0141-9331

Source： Microprocessors and Microsystems, Vol.28, Iss.2, 2004-03, pp. : 69-76

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

Related content

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis

By Păsăreanu Corina  

Automated Software Engineering, Vol. 20, Iss. 3, 2013-09 ,pp. : 391-425

Springer Publishing Company

Access to resources Recommend Favorite

Model Checking Programs

By Visser W.  

Automated Software Engineering, Vol. 10, Iss. 2, 2003-04 ,pp. : 203-232

Springer Publishing Company

Access to resources Recommend Favorite

Heuristics for model checking Java programs

By Groce Alex   Visser Willem  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 4, 2004-08 ,pp. : 260-276

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