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