MUSE - model checking s využitím symbolického provádění

Autoři:Křena Bohuslav, Braione Pietro, Denaro Giovanni, Pezze Mauro
Typ:software
Vznik:2008
Licence:vyžadována - zdarma
Klíčová slova:Symbolic execution, code-based model checking of software.
Popis:
MUSE je prototypově implementovaný nástroj pro verifikaci Java programů, který pro popis ověřovaných vlastností přijímá formule lineární temporální logiky (LTL) a který využívá symbolické provádění Java bytekódu pro omezení problému stavové exploze.
Umístění:
http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/
Výzkumné skupiny:
Pracoviště:

Vaše IPv4 adresa: 54.198.108.19
Přepnout na IPv6 spojení

DNSSEC [dnssec]