- Computing Parameterized Invariants of Parameterized Petri Nets Javier Esparza Mikhail Raskin Christoph Welzel Wed 02 November 2022
- Refinement Reflection: Complete Verification with SMT Niki Vazou Anish Tondwalkar Vikraman Choudhury Ryan G. Scott Ryan R. Newton Philip Wadler Ranjit Jhala Mon 16 April 2018
- Path Coupling: A Technique for Proving Rapid Mixing in Markov Chains R. Bubley M. Dyer Sun 06 July 2014
Library Size: 13G (3 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
