index - Department of Formal methods Accéder directement au contenu

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 249

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

Mots Clés

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