ARTMC - Abstract Regular Tree Model Checking

Název česky

ARTMC - Abstraktní regulární stromový model checking

Typ

software

Licence

Využití výsledku jiným subjektem je v některých případech možné bez nabytí licence

Licenční poplatek

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

Autoři

Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
a další

Klíčová slova

Formal verification, shape analysis

Popis

ARTMC je prototypový nástroj určený k verifikaci programů pracujících s dynamickými datovými strukturami. Je založen na obecné technice pro verifikace - "abstraktním regulárním model checkingu".

Umístění

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

Licenční podmínky

Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Projekty

Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, 2005-2008, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, řešení

Výzkumné skupiny

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Pracoviště

Fakulta informačních technologií (FIT)