Archive Offers
- Generating a User-Manual with and for Isabelle/DOF March 09, 2024
2023
- Connecting Isabelle/C with Isabelle/Clean October 17, 2023
- Connecting Isabelle/HOL-CSP with FDR4 October 17, 2023
- Connecting Isabelle/C with Isabelle/Clean October 17, 2023
- Modeling Cyber-Physical Systems with HOL-CyberPhi October 17, 2023
2022
- Semantics of Boolean Networks December 13, 2022
- Safety Analysis of Real-Time Discrete-Event and Hybrid Systems December 13, 2022
- Introduction of Timing Aspects into Event-B November 25, 2022
- Faithful Nash equilibria in games over graphs November 09, 2022
- Graphical Language for Clifford Hermiticians in Quantum Computing October 14, 2022
- Various subjects on proof system interoperability January 13, 2022
2021
- Synchronization in Stochastic Games December 13, 2021
- A HOL-CSP Case-Study : Analysing the Plain-Old-Telephone Protocol December 13, 2021
- Génération de simulations d'automobiles autonomes à partir d’un modèle formel December 09, 2021
- Génération de simulations automobile à partir d’un modèle formel December 09, 2021
- Quantum networks theory November 03, 2021
- Quantum Networks Theory November 03, 2021
- Deciding the Logic of Subsequences April 27, 2021
- Specification and Verification of Properties of Neural Networks April 04, 2021
- Observe locally, control globally April 03, 2021