Invited Talk: Deductive Verification of Distributed Protocols in Decidable Logics.
Oded PadonPublished in: SMT (2023)
Keyphrases
- invited talk
- selected papers
- knowledge discovery and data mining
- distributed systems
- expressive power
- cryptographic protocols
- distributed environment
- model checking
- linear time temporal logic
- np complete
- genetic algorithm
- query language
- inference rules
- information technology
- multi party
- e learning
- machine learning
- databases