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