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 311
Répartition des dépôts par type de document
Mots Clés
Liveness
Privacy
Distributed algorithms
Vérification
Refinement
Model checking
Méthodes formelles
Semantics
Polynomial time
Obfuscation
Security
Behavioral detection
First-order logic
Symbolic model
Decision procedures
Formal Verification
Protocol
Satisfiability
Verification
IMITATOR
Authentication
Formal verification
Cryptography
Formal Methods
Almost full relations
Unification
Algorithm
Computability
Term rewriting
Validation
Secrecy
Animation
Operational transformation
Modelling
Equational theories
Malware
Formal methods
E-voting
Web services
Proof-based development
Symbolic animation
Applied π-Calculus
Timed automata
Automated reasoning
Automated deduction
Tree automata
Higher-order logic
Sécurité
Protocols
Reachability
Completeness
Model-checking
Réécriture
Cryptographic protocols
Sines
Complexity
Social networks
Temporal logic
Superposition
SMT
Intrusion detection
Separation logic
TLA+
Decidability
Decision procedure
Theorem proving
Narrowing
Process calculi
Schwilgué
Combination
Event-B
Abstract machines
Parametric timed automata
Static analysis
Protocoles
Automated verification
Algorithmic randomness
Implicit computational complexity
Optimistic replication
Rewriting
Composition
Simulation
Logarithms
Computable analysis
Coq
Parameter synthesis
Synchronization
Abstraction
Automatic theorem provers
Formal method
Tilings
Distributed systems
Raffinement
Dependent types
Security protocols
Termination
Satisfiability Modulo Theories
Protocoles cryptographiques
Edward Sang
Proof assistants