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