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 276

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

Mots Clés

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