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