Bytecode Verification by Model Checking

Author： Basin David Friedrich Stefan Gawkowski Marek

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.30, Iss.3-4, 2003-05, pp. : 399-444

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

Abstract

Related content

Lightweight Bytecode Verification

By Rose Eva

Journal of Automated Reasoning, Vol. 31, Iss. 3-4, 2003-11 ,pp. : 303-334

Springer Publishing Company

Access to resources Recommend Favorite

Java Bytecode Verification

By Nipkow Tobias

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 233-233

Springer Publishing Company

Access to resources Recommend Favorite

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

Java Bytecode Verification: Algorithms and Formalizations

By Leroy Xavier

Journal of Automated Reasoning, Vol. 30, Iss. 3-4, 2003-05 ,pp. : 235-269

Springer Publishing Company

Access to resources Recommend Favorite

Modular Verification of Open Features Using Three-Valued Model Checking

By Li Harry

Automated Software Engineering, Vol. 12, Iss. 3, 2005-07 ,pp. : 349-382

Springer Publishing Company

Access to resources Recommend Favorite