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