Department 2: Formal methods

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

 

Latest deposits

 

 

 

Number of full text documents

664

Submissions distribution by document type

Keywords

Modelling Distributed systems Modélisation Formal Methods Correct-by-construction E-voting Schwilgué Validation Dynamical systems SMT Formal verification Implicit computational complexity Abstraction Boolean function Web services Calculating machine Formal language Automated verification Unification Event-B Malware Subshifts TLA+ Deducibility constraints Harm trees Hedge automata Formal method Tom EMF Cryptographic Protocols Méthodes formelles Composition Online Social Network OSN Satisfiability Social networks Security Instantiation Cryptographic protocols Computability Reachability Narrowing Event-driven approach Proof-based development Factorization Combination Authentication Termination Graph rewriting Behavior abstraction Computable analysis Augmented human Completeness Formal proof Birkhoff's ergodic theorem Formal Verification Collaboration Rewriting Simulation Dynamic binary instrumentation Behavioral detection First-order logic Adding machine Satisfiability Modulo Theories Finite state automaton Model checking Complexity Applied π-Calculus Decidability Constraint ProVerif Abstract model Term rewriting Entropy Induction Invention Isabelle/HOL Formal methods Contextual equivalence Verification Algorithms Interpretations Intégration Ordering constraint Human systems integration Innermost Distributed algorithms Privacy Static analysis Online Social Networks OSN Algorithmic randomness Refinement Symbolic model Computable Analysis Tilings Combination method Polymorphism Algorithm Trace Security protocols Proof assistants