DivSIM , an interactive simulator for LLVM bitcode von Ročkai, Petr, Barnat, Jiří

Volltext

Reproducible execution of POSIX programs with DiOS von Ročkai, Petr, Baranová, Zuzana, Mrázek, Jan, Kejstová, Katarína, Barnat, Jiříí

Volltext

DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs von Barnat, Jiří, Brim, Luboš, Havel, Vojtěch, Havlíček, Jan, Kriho, Jan, Lenčo, Milan, Ročkai, Petr, Štill, Vladimír, Weiser, Jiří

Volltext

Verification of Programs Sensitive to Heap Layout von Lauko, Henrich, Korenčik, Lukáš, Ročkai, Petr

Volltext

DiVM: Model checking with LLVM and graph memory von Ročkai, Petr, Štill, Vladimír, Černá, Ivana, Barnat, Jiří

Volltext

Model Checking in a Development Workflow: A Study on a Concurrent C++ Hash Table von Ročkai, Petr

Volltext

Abstracting Strings for Model Checking of C Programs von Lauko, Henrich, Olliaro, Martina, Cortesi, Agostino, Rockai, Petr

Volltext

Compiling C and C++ Programs for Dynamic White-Box Analysis von Baranová, Zuzana, Ročkai, Petr

Volltext

Symbolic Computation via Program Transformation von Lauko, Henrich, Ročkai, Petr, Barnat, Jiří

Volltext

String Abstraction for Model Checking of C Programs von Cortesi, Agostino, Lauko, Henrich, Olliaro, Martina, Ročkai, Petr

Volltext

A Simulator for LLVM Bitcode von Ročkai, Petr, Barnat, Jiří

Volltext

DIVINE - : A tool for distributed verification von BARNAT, Jiri, BRIM, Lubos, CERNA, Ivana, MORAVEC, Pavel, ROCKAI, Petr, SIMECEK, Pavel

Volltext

On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties von Barnat, Jiří, Brim, Luboš, Ročkai, Petr

Volltext

Model Checking of C and C++ with DIVINE 4 von Baranová, Zuzana, Barnat, Jiří, Kejstová, Katarína, Kučera, Tadeáš, Lauko, Henrich, Mrázek, Jan, Ročkai, Petr, Štill, Vladimír

Volltext

From Model Checking to Runtime Verification and Back von Kejstová, Katarína, Ročkai, Petr, Barnat, Jiří

Volltext

Reproducible Execution of POSIX Programs with DiOS von Ročkai, Petr, Baranová, Zuzana, Mrázek, Jan, Kejstová, Katarína, Barnat, Jiří

Volltext

Scalable Multi-core LTL Model-Checking von Barnat, Jiří, Brim, Luboš, Ročkai, Petr

Volltext

Parallel Partial Order Reduction with Topological Sort Proviso von Barnat, Jiří, Brim, Luboš, Ročkai, Petr

Volltext

A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties von Barnat, Jiří, Brim, Luboš, Ročkai, Petr

Volltext

Techniques for Memory-Efficient Model Checking of C and C++ Code von Ročkai, Petr, Štill, Vladimír, Barnat, Jiří

Volltext