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