- Verification of timed systems Patricia Bouyer Tue 31 March 2026
- Contributions on Formal Methods for Timed and Probabilistic Systems Ocan Sankur Sat 02 December 2023
- A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions Catarina Coquand Mon 30 March 2020
- Memoryless determinacy of infinite parity games: Another simple proof Stéphane Le Roux Fri 12 July 2019
- Reduction of Stochastic Parity to Stochastic Mean-payoff Games Krishnendu Chatterjee Thomas A. Henzinger Mon 10 February 2014
- Formal Verification of Hybrid Systems Rajeev Alur Wed 27 November 2013
- Efficient Regular Linear Temporal Logic Using Dualization and Stratification Cesar Sánchez Julín Samborski-Forlese Mon 28 October 2013
Library Size: 13G (7 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
