index - Department of Formal methods Access content directly

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

1 258

Submissions distribution by document type


Logarithms TLA+ Réécriture Vérification Unification Protocol Formal Verification Edward Sang Protocols Social networks Parameter synthesis Security protocols Privacy Sécurité Static analysis Temporal logic Term rewriting Equational theories E-voting SMT Narrowing Formal Methods Timed automata Obfuscation Automated deduction Complexity Automatic theorem provers Refinement Security Cryptographic protocols Validation Modelling Abstraction Méthodes formelles Synchronization Model checking Distributed systems Intrusion detection Tree automata Algorithmic randomness Protocoles cryptographiques Cryptography Parametric timed automata Combination of decision procedures Event-B Protocoles Secrecy Distributed algorithms Process calculi Cellular automata Combination Collaborative editors Computability Proof assistants Automated verification Symbolic animation Raffinement Composition Decidability Behavioral detection Rewriting Superposition Formal method Coq Theorem proving Algorithm Web services Implicit computational complexity Computable analysis Termination Model-checking Tilings Reachability Malware IMITATOR Operational transformation Optimistic replication Decision procedures Completeness Proof-based development Applied π-Calculus Abstract machines Calculating machine Formal verification Decision procedure Separation logic Symbolic model Simulation Semantics Authentication Formal methods Sines Automated reasoning Verification Satisfiability Modulo Theories First-order logic Satisfiability Liveness Schwilgué Constraint solving