Sous-collection du département 2 : Méthodes formelles

 Pour toute question ou remarque au sujet de cette collection, veuillez nous contacter à publications@loria.fr

 

Derniers Dépôts

 

 

 

Nombre de documents fulltext

624

Répartition des dépôts par type de document

Mots Clés

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