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 330

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

Mots Clés

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