9 citations · 20 across the 7 of their papers we have counts for
7 papers
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…
A Macro for Reusing Abstract Functions and Theorems
Sebastiaan J. C. Joosten, Bernard van Gastel, Julien Schmaltz
Even though the ACL2 logic is first order, the ACL2 system offers several mechanisms providing users with some operations akin to higher order logic ones. In this paper, we propose…
A formalisation of XMAS
Bernard van Gastel, Julien Schmaltz
Communication fabrics play a key role in the correctness and performance of modern multi-core processors and systems-on-chip. To enable formal verification, a recent trend is to us…
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…
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications
David Hardin, Julien Schmaltz
This volume contains the proceedings of ACL2 2011, the International Workshop on the ACL2 Theorem Prover and its Applications. The workshop was held in Austin, Texas, USA, on Novem…