Product detail
Model checking Using Symbolic Execution
KŘENA, B. BRAIONE, P. DENARO, G. PEZZE, M.
Product type
software
Abstract
MUSE is a prototype implementation of a tool for verification of LTL properties against Java byte-code which uses symbolic execution technique for combatting the state space explosion problem.
Keywords
Symbolic execution, code-based model checking of software.
Create date
12.12.2008
Location
http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/
www
Documents