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 319

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

Mots Clés

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