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