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 327

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

Mots Clés

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