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