2 Result(s)

Article

Nemesis - a molecular modeling package

Jakub Štěpán, Petr Kulhánek, Milan Lenčo, Zora Střelcová… in Journal of Cheminformatics (2013)

Chapter and Conference Paper

DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs

We present a new release of the parallel and distributed LTL model checker DiVinE. The major improvement in this new release is an extension of the class of systems that may be verified with the model checker, wh...

Jiří Barnat, Luboš Brim, Vojtěch Havel, Jan Havlíček… in Computer Aided Verification (2013)