index - Department of Formal methods

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 271

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

Mots Clés

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