Offers > Archive
2024
- Connecting Isabelle/C with Isabelle/AutoCorres December 06, 2024
- Extending Isabelle/HOLBee with Support for Refinements December 01, 2024
- Generating a User-Manual with and for Isabelle/DOF March 09, 2024
2023
- Connecting Isabelle/C with Isabelle/Clean October 17, 2023
- Extending Isabelle/HOLBee with Support for Refinements 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