Model checking Using Symbolic Execution

Authors:Křena Bohuslav, Braione Pietro, Denaro Giovanni, Pezze Mauro
Type:software
Created:2008
Licence:required - no fee
Keywords:Symbolic execution, code-based model checking of software.
Description:
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.
Location:
http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/
Research groups:
Departments:

Your IPv4 address: 54.80.230.230
Switch to IPv6 connection

DNSSEC [dnssec]