| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Verified ODE Solver and the Lorenz Attractor
|
Immler, Fabian
|
|
2018
|
|
1-4 |
p. 73-111
|
artikel
|
| 2 |
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
|
Blanchette, Jasmin Christian
|
|
2018
|
|
1-4 |
p. 333-365
|
artikel
|
| 3 |
CoSMed: A Confidentiality-Verified Social Media Platform
|
Bauereiß, Thomas
|
|
2017
|
|
1-4 |
p. 113-139
|
artikel
|
| 4 |
Distant Decimals of $$\pi $$π: Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation
|
Bertot, Yves
|
|
2017
|
|
1-4 |
p. 33-71
|
artikel
|
| 5 |
Formalization of the Resolution Calculus for First-Order Logic
|
Schlichtkrull, Anders
|
|
2018
|
|
1-4 |
p. 455-484
|
artikel
|
| 6 |
Formally Verified Algorithms for Upper-Bounding State Space Diameters
|
Abdulaziz, Mohammad
|
|
2018
|
|
1-4 |
p. 485-520
|
artikel
|
| 7 |
Hammer for Coq: Automation for Dependent Type Theory
|
Czajka, Łukasz
|
|
2018
|
|
1-4 |
p. 423-453
|
artikel
|
| 8 |
Introduction to Milestones in Interactive Theorem Proving
|
Avigad, Jeremy
|
|
2018
|
|
1-4 |
p. 1-8
|
artikel
|
| 9 |
Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler
|
Lochbihler, Andreas
|
|
2018
|
|
1-4 |
p. 243-332
|
artikel
|
| 10 |
Regular Language Representations in the Constructive Type Theory of Coq
|
Doczkal, Christian
|
|
2018
|
|
1-4 |
p. 521-553
|
artikel
|
| 11 |
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
|
Bancerek, Grzegorz
|
|
2017
|
|
1-4 |
p. 9-32
|
artikel
|
| 12 |
Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
|
Chen, Hao
|
|
2017
|
|
1-4 |
p. 141-189
|
artikel
|
| 13 |
Verified iptables Firewall Analysis and Verification
|
Diekmann, Cornelius
|
|
2018
|
|
1-4 |
p. 191-242
|
artikel
|
| 14 |
VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs
|
Cao, Qinxiang
|
|
2018
|
|
1-4 |
p. 367-422
|
artikel
|
Tijdschrift beschrijving