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
-
Bernard Boigelot, Pascal Fontaine, Baptiste Vergain. Non-emptiness Test for Automata over Words Indexed by the Reals and Rationals. CIAA 2024 - 28th International Conference on Implementation and Application of Automata, Sep 2024, Akita, Japan. pp.94-108, ⟨10.1007/978-3-031-71112-1_7⟩. ⟨hal-04896026⟩
Nombre de documents fulltext
1 328
Répartition des dépôts par type de document
Mots Clés
Malware
Equational theories
Verification
Méthodes formelles
SMT
Distributed systems
Parameter synthesis
Unification
Automatic theorem provers
Liveness
Complexity
Combination
E-voting
Automated reasoning
Semantics
Optimistic replication
Implicit computational complexity
Cryptography
Automated verification
Validation
Sécurité
Abstraction
Decision procedures
IMITATOR
Schwilgué
Cryptographic protocols
Intrusion detection
Protocoles
Proof-based development
Automated deduction
Web services
Social networks
Process calculi
Vérification
Composition
Higher-order logic
Term rewriting
Applied π-Calculus
Temporal logic
Algorithmic randomness
Polynomial time
Synchronization
Réécriture
Operational transformation
Model-checking
Computability
Timed automata
Model checking
Completeness
Secrecy
Almost full relations
Satisfiability
Theorem proving
Protocols
Edward Sang
Logarithms
Static analysis
Coq
Proof assistants
Formal method
Obfuscation
Termination
Parametric timed automata
Protocoles cryptographiques
Symbolic model
Modelling
Narrowing
Symbolic animation
Dependent types
Privacy
Tree automata
Refinement
Sines
Authentication
Protocol
Formal methods
Separation logic
Decidability
Tilings
Raffinement
Superposition
Formal Methods
Distributed algorithms
Computable analysis
Algorithm
Security protocols
Simulation
Rewriting
Formal verification
Decision procedure
Behavioral detection
First-order logic
Formal Verification
Animation
Satisfiability Modulo Theories
Reachability
Abstract machines
Event-B
Security
TLA+