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

Nombre de documents fulltext

1 258

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

Mots Clés

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