Issues · paradise / DIVINE · GitLab

create VM images for all historical versions of DIVINE

#36 · opened Oct 19, 2016 by Petr Ročkai Future Potential Bc/Mgr thesis
- 0
updated Sep 04, 2017
Transition based acceptance parallel alrogirthms

#35 · opened Sep 22, 2016 by Vladimír Štill Potential Bc/Mgr thesis
- 0
updated Sep 04, 2017
Verification of boost's concurrent data structures

#29 · opened Jul 04, 2016 by Vladimír Štill Future Case Study Potential Bc/Mgr thesis
- 0
updated Sep 04, 2017
Add support of usage glibc instead of PDCLib

#28 · opened Jul 04, 2016 by Vladimír Štill Future Case Study LLVM userspace Potential Bc/Mgr thesis
- 0
updated Sep 04, 2017
Verification of lvmetad (LVM2's metadata caching daemon)

#27 · opened Jul 04, 2016 by Vladimír Štill Future Case Study Potential Bc/Mgr thesis
- 0
updated Sep 04, 2017
Verification of clvmd (LVM2's cluster locking & coordination daemon)

#26 · opened Jul 04, 2016 by Vladimír Štill Future Case Study Potential Bc/Mgr thesis
- 0
updated Sep 04, 2017
Verification of lvmlockd (LVM2's new distributed locking daemon)

#25 · opened Jul 04, 2016 by Vladimír Štill Future Case Study Potential Bc/Mgr thesis
- 0
updated Sep 04, 2017
Visualization of heap of program/counterexample

#24 · opened Jul 03, 2016 by Vladimír Štill Future LLVM core Potential Bc/Mgr thesis
- 0
updated Jul 07, 2018
Objective C/C++ verification with DIVINE

#18 · opened Jun 17, 2016 by Jiří Barnat Future CC Input Formalisms LLVM userspace Potential Bc/Mgr thesis
- 1
updated Jun 19, 2016
Syscall record and replay.

#17 · opened Jun 17, 2016 by Vladimír Štill Future LLVM core LLVM userspace Potential Bc/Mgr thesis
- 0
updated Jun 17, 2016
Verification of Folly.

#16 · opened Jun 16, 2016 by Vladimír Štill Future Case Study Potential Bc/Mgr thesis
- 0
updated Jul 08, 2016
Parametrized-Precision Verification for C/C++.

#14 · opened Jun 16, 2016 by Vladimír Štill Future LART LLVM userspace Potential Bc/Mgr thesis
- 0
updated Jun 19, 2016
Verification of NSCD (glibc's name serice cache daemon)

#13 · opened Jun 16, 2016 by Vladimír Štill Future Case Study Potential Bc/Mgr thesis
- 0
updated Jul 04, 2016
Verification of Hazard Pointers.

#12 · opened Jun 16, 2016 by Vladimír Štill Future Case Study Potential Bc/Mgr thesis
- 0
updated Jun 16, 2016
Verification of Intel TBB concurrent data structures

#11 · opened Jun 16, 2016 by Vladimír Štill Future Case Study Potential Bc/Mgr thesis
- 0
updated Jul 04, 2016
Support for WIN32 threads.

#10 · opened Jun 16, 2016 by Vladimír Štill Future LLVM userspace Potential Bc/Mgr thesis
- 1
updated Aug 15, 2016
Probabilistic Store Reachability.

#6 · opened Jun 16, 2016 by Vladimír Štill Future Algorithms Potential Bc/Mgr thesis
- 0
updated Jun 16, 2016
DVE to C++/DiVM translation.

#5 · opened Jun 16, 2016 by Vladimír Štill Future Input Formalisms Potential Bc/Mgr thesis
- 1
updated Jun 17, 2016
CTL* Model Checking.

#4 · opened Jun 16, 2016 by Vladimír Štill Future Algorithms Potential Bc/Mgr thesis
- 0
updated Jun 16, 2016
Slicing Parallel Programs using Dependency Graphs

#3 · opened Jun 16, 2016 by Vladimír Štill Future LART Potential Bc/Mgr thesis
- 0
updated Jun 17, 2016