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