- Checking Timed Büchi Automata Emptiness Using the Local-Time Semantics Frédéric Herbreteau B. Srivathsan Igor Walukiewicz Thu 23 November 2023
- Abstractions for the Local-Time Semantics of Timed Automata: A Foundation for Partial-Order Methods R. Govind Frédéric Herbreteau Srivathsan Igor Walukiewicz Mon 29 August 2022
- Dynamic Partial-order Reduction for Model Checking Software Cormac Flanagan Patrice Godefroid Tue 03 December 2013
- Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties Patrice Godefroid Pierre Wolper Sat 29 December 2012
- A Partial Approach to Model Checking P. Godefroid P. Wolper Sun 27 May 2012
Library Size: 13G (5 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
