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