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
-
Martin Bromberger, Florent Krasnopol, Sibylle Möhle, Christoph Weidenbach. First-Order Automatic Literal Model Generation. Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I, Jul 2024, Nancy, France. pp.133 - 153, ⟨10.1007/978-3-031-63498-7_9⟩. ⟨hal-04845238⟩
Nombre de documents fulltext
1 312
Répartition des dépôts par type de document
Mots Clés
SMT
Termination
Privacy
Secrecy
Process calculi
Abstraction
Decision procedure
Verification
Almost full relations
Optimistic replication
Algorithm
Decision procedures
Parametric timed automata
Satisfiability
Formal Methods
Complexity
Applied π-Calculus
Protocol
Sines
Decidability
Authentication
Schwilgué
Implicit computational complexity
IMITATOR
Distributed systems
Abstract machines
Automatic theorem provers
Edward Sang
Equational theories
Timed automata
Satisfiability Modulo Theories
Méthodes formelles
Intrusion detection
Protocoles
Computable analysis
Synchronization
Formal methods
Parameter synthesis
Security protocols
Proof-based development
Web services
Tree automata
Semantics
Model checking
Distributed algorithms
Separation logic
Cryptography
Static analysis
Rewriting
Unification
Completeness
Simulation
Liveness
Composition
Obfuscation
Algorithmic randomness
Behavioral detection
Protocoles cryptographiques
Reachability
Combination
Refinement
Narrowing
Operational transformation
Coq
Polynomial time
Symbolic model
Cryptographic protocols
Automated verification
Theorem proving
Security
Social networks
Sécurité
First-order logic
Formal Verification
Logarithms
Modelling
Temporal logic
Automated reasoning
Term rewriting
E-voting
Higher-order logic
Malware
Validation
Model-checking
Raffinement
Formal verification
Computability
Dependent types
Réécriture
Proof assistants
Protocols
Symbolic animation
Vérification
Automated deduction
Superposition
Event-B
Tilings
Formal method
Animation
TLA+