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


Formal Verification Computable analysis Formal language Augmented human Decision procedure Reliability Decidability Applied π-Calculus Operational transformation Logarithms First-order logic Edward Sang Computability Rewriting Formal method Model checking Simulation Distributed algorithms Combination of decision procedures Cryptography Formal verification Theorem proving Equational theories Term rewriting Web services Operational Transformation Machine Intrusion detection Security protocols Complexity SMT Protocols Raffinement Behavioral detection Semantics Protocoles Decision procedures Optimistic replication TLA+ Implicit computational complexity Symbolic animation Adding machine Collaborative editors Symbolic model Model-checking Tree automata Refinement Modelling Authentication Proof assistants Algorithmic randomness Abstract model Distributed systems Proof-based development Composition Cryptographic protocols Vérification XPath Trace Calculating machine Reachability Schwilgué Automated deduction Verification Sécurité Déduction automatique Formal methods Unification Malware Formal Methods Termination Event-B Test generation Combination Animation Détection d'intrusions Completeness Security Méthodes formelles Privacy Satisfiability Social networks Protocoles cryptographiques Automated verification Narrowing Temporal logic Online Social Networks OSN Secrecy Algorithm Tilings Validation Abstraction Satisfiability Modulo Theories Protocol Algorithms Sines E-voting Constraint solving Polymorphism Réécriture