9 citations · 11 across the 10 of their papers we have counts for
4 papers · 1 filter
Reachability Logic for Low-Level Programs
Nico Naus, Freek Verbeek, Marc Schoolderman +1
Automatic exploit generation is a relatively new area of research. Work in this area aims to automate the manual and labor intensive task of finding exploits in software. In this p…
Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications
Freek Verbeek, Julien Schmaltz
This volume contains the proceedings of the Twelfth International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2'14, a two-day workshop held in Vienna, Austria, on…
Verification of Building Blocks for Asynchronous Circuits
Freek Verbeek, Julien Schmaltz
Scalable formal verification constitutes an important challenge for the design of asynchronous circuits. Deadlock freedom is a property that is desired but hard to verify. It is an…
Formal verification of a deadlock detection algorithm
Freek Verbeek, Julien Schmaltz
Deadlock detection is a challenging issue in the analysis and design of on-chip networks. We have designed an algorithm to detect deadlocks automatically in on-chip networks with w…