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

Chargement de la page

Nombre de documents fulltext

1 315

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

Mots Clés

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