ARTMC - Abstract Regular Tree Model Checking

Název česky

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

Typ

software

Licence

podle podmínek - zdarma

Autoři

Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)

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/

Licence

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ů (GD102/05/H050)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)

Výzkumné skupiny

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

Pracoviště

Fakulta informačních technologií VUT v Brně (FIT VUT)