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

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