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 328

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

Mots Clés

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