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