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


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