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

622

Submissions distribution by document type

Keywords

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