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