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

688

Submissions distribution by document type

Keywords

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