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 248

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

Mots Clés

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