Exploring a Parallel SCC Algorithm: Using TLA+ and the TLC Model Checker

von Pol, Jaco van de
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Just-in-time : on strategy annotations

von Pol, Jaco van de
Veröffentlicht 2001

Two solutions to incorporate zero, successor and equality in binary decision diagrams

von Badban, Bahareh
Veröffentlicht 2002

On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)

von Pol, Jaco van de
Veröffentlicht in WADT (25. : 2020 : Online) Recent Trends in Algebraic Development Techniques (2021)

A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs)

von Pol, Jaco van de
Veröffentlicht 2005

Modal abstractions in [my]CRL

von Pol, Jaco van de
Veröffentlicht 2004

Certifying Emptiness of Timed Büchi Automata

von Wimmer, Simon
Veröffentlicht in FORMATS (18. : 2020 : Online) Formal modeling and analysis of timed systems (2020)

A Benchmarks Library for Extended Parametric Timed Automata

von Marinho,, Etienne Andre, Dylan
Veröffentlicht in TAP (15. : 2021 : Online) Tests and Proofs (2021)

Termination of higher-order rewrite systems : = Terminatie van hogere-orde herschrijfsystemen

von Pol, Jan Cornelis van der
Veröffentlicht 1996

Special issue on automated verification of critical systems (AVoCS'14)

Veröffentlicht 2016

Efficient Convex Zone Merging in Parametric Timed Automata

von André, Étienne
Veröffentlicht in FORMATS (20. : 2022 : Warschau) Formal modeling and analysis of timed systems (2022)

Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata

von André, Étienne
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)

The 2020 Expert Survey on Formal Methods

von Garavel, Hubert
Veröffentlicht in FMICS (25. : 2020 : Online) Formal methods for industrial critical systems (2020)

Implicit QBF Encodings for Positional Games

von Shaik, Irfansha
Veröffentlicht in Advances in Computer Games Conference (18. : 2023 : Online) Advances in computer games (2024)

SYNTHESIZING CO-SIMULATION ALGORITHMS WITH STEP NEGOTIATION AND ALGEBRAIC LOOP HANDLING

von Hansen, Simon
Veröffentlicht in Annual Modeling and Simulation Conference (2021 : Online) Annual Modeling and Simulation Conference (ANNSIM 2021) (2021)

Special issue on automated verification of critical systems (AVoCS'14)

Veröffentlicht 2016

Automated Verification of Parallel Nested DFS

von Oortwijn, Wytse
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Adiar Binary Decision Diagrams in External Memory

von Solvsten, Steffan Christ
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps

von Hansen, Simon Thrane
Veröffentlicht in FMICS (26. : 2021 : Online) Formal Methods for Industrial Critical Systems (2021)

Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ;...

Veröffentlicht 2007