Search

• < Previous
• 1
• Next >

---

Featherweight VeriFast

Bart Jacobs ; Frédéric Vogels ; Frank Piessens.

VeriFast is a leading research prototype tool for the sound modular verification of safety and correctness properties of single-threaded and multithreaded C and Java programs. It has been used as a vehicle for exploration and validation of novel program verification techniques and for industrial&nbsp;[&hellip;]

---

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

Bart Jacobs.

Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold. The algebraic notions of effect algebra/module that emerged in theoretical physics form&nbsp;[&hellip;]

---