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