Model Checking Parallel Programs with Inputs

Základní údaje

Originální název Model Checking Parallel Programs with Inputs
Autoři

Další údaje

Citace BARNAT, Jiří, Petr BAUCH a Vojtěch HAVEL. Model Checking Parallel Programs with Inputs. In Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). Turin: IEEE Computer Society, 2014. s. 756-759, 4 s. ISSN 1066-6192.
Originální jazyk angličtina
Obor Informatika
Druh Článek ve sborníku
Klíčová slova ltl model checking; parallel programs; smt solvers

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info