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