index - Department of Formal methods Accéder directement au contenu

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

Chargement de la page

Nombre de documents fulltext

1 267

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

Mots Clés

Calculating machine Méthodes formelles Combination of decision procedures TLA+ Formal Verification Formal verification Proof-based development Satisfiability Modulo Theories Satisfiability Theorem proving Narrowing SMT Computability IMITATOR Automated verification Tree automata Process calculi Cryptographic protocols First-order logic E-voting Social networks Cellular automata Completeness Algorithm Decidability Protocols Model checking Automated deduction Distributed systems Réécriture Separation logic Superposition Edward Sang Model-checking Computable analysis Formal method Timed automata Abstract machines Liveness Parametric timed automata Static analysis Implicit computational complexity Obfuscation Equational theories Privacy Operational transformation Web services Automatic theorem provers Constraint solving Unification Refinement Security protocols Secrecy Complexity Protocoles Optimistic replication Event-B Raffinement Authentication Term rewriting Synchronization Algorithmic randomness Simulation Automated reasoning Proof assistants Sines Coq Sécurité Malware Parameter synthesis Abstraction Composition Semantics Protocoles cryptographiques Modelling Symbolic animation Combination Applied π-Calculus Temporal logic Formal Methods Cryptography Collaborative editors Protocol Distributed algorithms Tilings Symbolic model Formal methods Rewriting Decision procedures Vérification Verification Intrusion detection Logarithms Decision procedure Validation Behavioral detection Security Termination Schwilgué Reachability