Loading...
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
-
Emmanuel Hainry, Bruce M Kapron, Jean-Yves Marion, Romain Péchoux. Complete and tractable machine-independent characterizations of second-order polytime. FoSSaCS 2022 - 25th International Conference on Foundations of Software Science and Computation Structures, Apr 2022, Munich, Germany. pp.368-388, ⟨10.1007/978-3-030-99253-8_19⟩. ⟨hal-03722245v3⟩
-
Saraid Dwyer Satterfield, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen. Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories. 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Jul 2023, Rome, Italy. pp.30:1--30:19, ⟨10.4230/LIPIcs.FSCD.2023.30⟩. ⟨hal-04214220⟩
Nombre de documents fulltext
1 241
Répartition des dépôts par type de document
Mots Clés
Decidability
Modelling
SMT
Implicit computational complexity
Formal method
Liveness
Security protocols
Formal Methods
Process calculi
Termination
Synchronization
Raffinement
Secrecy
Social networks
E-voting
Combination
Static analysis
Narrowing
Applied π-Calculus
Formal Verification
Reachability
Protocoles cryptographiques
Simulation
Satisfiability Modulo Theories
Cryptographic protocols
Automated verification
Réécriture
Privacy
Rewriting
Distributed algorithms
Automated deduction
Obfuscation
Calculating machine
Algorithmic randomness
Term rewriting
Sines
Parameter synthesis
Composition
Automatic theorem provers
Algorithm
Complexity
Higher-order logic
Symbolic model
Méthodes formelles
Authentication
Intrusion detection
Unification
Edward Sang
Model-checking
Proof assistants
Vérification
Behavioral detection
Schwilgué
Event-B
Combination of decision procedures
Decision procedures
Abstraction
Automated reasoning
Satisfiability
Abstract machines
Validation
Parametric timed automata
Model checking
Formal verification
Sécurité
Optimistic replication
Separation logic
Verification
Protocol
Coq
Tilings
Operational transformation
Collaborative editors
Refinement
Superposition
Decision procedure
Symbolic animation
Computable analysis
Formal methods
Computability
Protocoles
Theorem proving
Security
IMITATOR
Semantics
Distributed systems
TLA+
Proof-based development
Protocols
Completeness
First-order logic
Temporal logic
Equational theories
Cellular automata
Tree automata
Logarithms
Web services
Malware
Cryptography
Timed automata