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 272

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

Mots Clés

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