Loading...
Department 2: Formal methods
For all your questions or comments about this collection, please contact us at: publications@loria.fr
Latest deposits
Number of full text documents
1 322
Submissions distribution by document type
Keywords
Optimistic replication
Algorithm
Narrowing
IMITATOR
Formal Methods
Model checking
Reachability
Cryptographic protocols
Satisfiability
Secrecy
Automatic theorem provers
Réécriture
Term rewriting
Synchronization
Protocols
TLA+
Applied π-Calculus
Automated verification
Timed automata
Protocoles cryptographiques
Simulation
Edward Sang
Raffinement
Proof-based development
Security
Protocoles
Abstraction
Decision procedures
Schwilgué
Liveness
Formal method
Protocol
Formal methods
Validation
Parametric timed automata
Vérification
Tree automata
Static analysis
Privacy
Complexity
Satisfiability Modulo Theories
Higher-order logic
Animation
Cryptography
Event-B
Proof assistants
Rewriting
Modelling
Behavioral detection
Model-checking
First-order logic
Automated reasoning
Implicit computational complexity
Termination
Decision procedure
Polynomial time
Security protocols
Social networks
Unification
Coq
Intrusion detection
Authentication
Formal verification
Algorithmic randomness
E-voting
Computable analysis
Malware
Operational transformation
Semantics
Almost full relations
Equational theories
Sines
Symbolic model
Temporal logic
Verification
Combination
Web services
Separation logic
Decidability
Méthodes formelles
Refinement
Abstract machines
SMT
Symbolic animation
Composition
Distributed algorithms
Computability
Sécurité
Completeness
Process calculi
Obfuscation
Automated deduction
Superposition
Tilings
Parameter synthesis
Formal Verification
Dependent types
Theorem proving
Distributed systems
Logarithms