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 312

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

Mots Clés

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