Skip to Main content Skip to Navigation

Department 2: Formal methods

 For all your questions or comments about this collection, please contact us at: publications@loria.fr

 

Latest deposits

Chargement de la page

 

 

 

Number of full text documents

1 065

Submissions distribution by document type

Chargement de la page

Keywords

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