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 330

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

Mots Clés

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