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