Filter Results:
- Full text PDF available (57)
Publication Year
1993
2019
- This year (11)
- Last 5 years (53)
- Last 10 years (93)
Publication Type
Co-author
Journals and Conferences
Learn More
CRL [13] is a language for specifying and verifying distributed systems in an algebraic fashion. It targets the speci cation of system behaviour in a processalgebraic style and of data elements in… (More)
In recent years, the LTSmin model checker has been extended with support for several new modelling languages, including probabilistic (Mapa) and timed systems (Uppaal). Also, connecting additional… (More)
- Alfons W. Laarman, Jaco van de Pol, Michael Weber
- Formal Methods in Computer Aided Design
- 2010
This paper focuses on data structures for multi-core reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of an efficient solution is the… (More)
In model checking, analysis algorithms are applied to large graphs (state spaces), which model the behavior of (computer) systems. These models are typically generated from specifications in… (More)
- Tom van Dijk, Jaco van de Pol
- TACAS
- 2015
Decision diagrams such as binary decision diagrams and multivalued decision diagrams play an important role in various fields, including symbolic model checking. An ongoing challenge is to develop… (More)
- Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga
- CONCUR
- 2012
This presentation introduces a process-algebraic framework with data for modelling and generating Markov automata. We show how an existing linearisation procedure for process-algebraic… (More)
- Stefan C. C. Blom, Jaco van de Pol
- CAV
- 2002
- Jaco van de Pol
- HOA
- 1993
This paper deals with termination proofs for Higher-Order Rewrite Systems (HRSs), introduced in [12]. This formalism combines the computational aspects of term rewriting and simply typed lambda… (More)
This paper presents CNDFS, a tight integration of two earlier multicore nested depth-first search (NDFS) algorithms for LTL model checking. CNDFS combines the different strengths and avoids some… (More)