- Quantum Circuit Verification - A Potential Roadmap (Invited Talk) Parosh Aziz Abdulla Yu-Fang Chen Michal Hečko Lukáš Holík Ondřej Lengál Jyun-Ao Lin Ramanathan Thinniyam Srinivasan Tue 17 February 2026
- The Futures of Reactive Synthesis (Dagstuhl Seminar 23391) Nathanaël Fijalkow Bernd Finkbeiner Guillermo A. Pérez Elizabeth Polgreen Rémi Morvan Sat 30 March 2024
- Algebra-Based Loop Analysis Laura Kovács Thu 03 August 2023
- Deciding Reachability under Persistent X86-TSO Parosh Aziz Abdulla Mohamed Faouzi Atig Ahmed Bouajjani K. Narayan Kumar Prakash Saivasan Wed 13 January 2021
- Separation Logic for Sequential Programs (Functional Pearl) Arthur Charguéraud Tue 04 August 2020
- Regular Language Type Inference with Term Rewriting Timothée Haudebourg Thomas Genet Thomas Jensen Tue 04 August 2020
- Modeling and Verification of Time Dependent Systems Using Time Petri Nets Bernard Berthomieu Michel Diaz Thu 16 January 2014
- DART: Directed Automated Random Testing Patrice Godefroid Nils Klarlund Koushik Sen Tue 03 December 2013
- Model-checking higher-order functions Naoki Kobayashi Mon 28 January 2013
Library Size: 13G (9 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
