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/

Possibilities of use

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/