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: |
|---|
|
|
Faculty of Information Technology