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

Number of full text documents

1 249

Submissions distribution by document type


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