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

651

Submissions distribution by document type

Keywords

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