Skip to Main content Skip to Navigation

Department 2: Formal methods

 For all your questions or comments about this collection, please contact us at:


Latest deposits

Chargement de la page




Number of full text documents


Submissions distribution by document type


Correct-by-construction Animation Formal Verification Completeness Behavior abstraction Event-driven approach Termination Refinement Algorithm Polymorphism Augmented human Formal language Modélisation Sécurité Online Social Networks OSN Computable analysis Authentication ProVerif Collaboration Proof assistants Malware Applied π-Calculus Automated reasoning Combination Security protocols Formal method Raffinement Validation Distributed algorithms Decidability Reachability Tiering Algorithms Requirements Tom Tilings Modelling Tools Formal methods Narrowing Event-B Security Management Computability Computable Analysis Social networks Semantics Unification Privacy Simulation Web services Innermost E-voting Combination method Symbolic model Proof-based development Satisfiability Model checking First-order logic Static analysis Birkhoff's ergodic theorem Distributed systems Méthodes formelles Schwilgué Security Reliability SMT Ordering constraint Rewriting Type systems Trace Software-Defined Networking Composition TLA+ Abstraction Satisfiability Modulo Theories Outils Complexity Harm trees Human systems integration Cryptographic protocols Verification Abstract model Categorical Quantum Mechanics Subshifts Boolean function Term rewriting Calculating machine Behavioral detection Adding machine Implicit computational complexity Calculating machines Machine Automated verification Algorithme Algorithmic randomness Adding machines Integration Formal verification Vérification Online Social Network OSN