Testos-Spectra: A tool for verification of ptLTL on C/C++ programs

Typ

software

Jazyk

anglicky

Autoři

Smrčka Aleš, Ing., Ph.D., UITS (FIT)
Sečkařová Petra, Ing.

Popis

The tool is for verification of safety properties during the run-time. The testing is based on translation of ptLTL formulae into a run-time monitor which are instrumented into source codes of system under test (SUT). Once the monitor witnesses a violation of the specification, it reports when such a case occurs providing data why the given formula has been violated.

Klíčová slova

Testing, Run-time verification, LTL verification, Source code verification

Umístění

Domovská stránka nástroje včetně samotného nástroje je: http://www.fit.vutbr.cz/research/groups/verifit/tools/testos-spectra/

Licence

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

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

Licenční podmínky

Licenční podmínky v souladu s licení BSD-3-Clause dostupné na https://opensource.org/licenses/BSD-3-Clause

Projekty

Verifikace a validace spolehlivosti a bezpečnosti automatizovaných systémů, EU, Horizon 2020, 8A20009, zahájení: 2020-05-01, ukončení: 2023-07-31, ukončen

Výzkumné skupiny

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

Pracoviště

Ústav inteligentních systémů (UITS)