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