40 citations
- Radboud University NijmegenNL12 papers
- Utrecht UniversityNL7 papers
- Centrum Wiskunde & InformaticaNL6 papers
- Leiden UniversityNL3 papers
- Shahid Beheshti UniversityIR3 papers
- Tilburg UniversityNL3 papers
- Centraal Bureau voor de StatistiekNL2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Eindhoven University of TechnologyNL2 papers
- Instituto de Engenharia de Sistemas e Computadores Investigação e DesenvolvimentoPT2 papers
- Institut Polytechnique de ParisFR2 papers
- Norwegian University of Life SciencesNO2 papers
Showing 2013Show all
3 papers · 1 filter
cs.LO2013★ 2 cited
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…
cs.AR2013★ 7 cited
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…
cs.LO2013★ 9 cited
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…