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 150
Submissions distribution by document type
Keywords
Linear arithmetic
Security
Vérification
Symbolic model
Computability
Collaborative editors
Operational Transformation
Machine
Sines
Web services
Deducibility constraints
E-voting
Cellular automata
Formal language
Semantics
Détection d'intrusions
Formal verification
Composition
Protocol
Tilings
Cryptographic protocols
Liveness
Distributed systems
Narrowing
Static analysis
Security protocols
Déduction automatique
Simulation
Satisfiability
Schwilgué
First-order logic
Formal methods
Verification
Privacy
Algorithmic randomness
Complexity
Protocols
Event-B
Model checking
Combination
Abstraction
Equational theories
Authentication
SMT
IMITATOR
Refinement
Operational transformation
Formal Methods
Completeness
Coq
Decidability
TLA+
Automated verification
Intrusion detection
Social networks
Automated reasoning
Réécriture
Satisfiability Modulo Theories
Proof assistants
Implicit computational complexity
Applied π-Calculus
Tree automata
Méthodes formelles
Protocoles cryptographiques
Model-checking
Sécurité
Rewriting
Symbolic animation
Reachability
Unification
Algorithm
Parametric timed automata
Raffinement
Parameter synthesis
Validation
Computable analysis
Online Social Networks OSN
Behavioral detection
Edward Sang
Decision procedure
Cryptography
Combination of decision procedures
Calculating machine
Automated deduction
Protocoles
Constraint solving
Theorem proving
Distributed algorithms
Termination
Automatic theorem provers
Decision procedures
Optimistic replication
Modelling
Malware
Proof-based development
Formal Verification
Pattern matching
Term rewriting
Logarithms
Secrecy