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 251

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

Mots Clés

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