I4: incremental inference of inductive invariants for verification of distributed protocols.
Haojun MaAman GoelJean-Baptiste JeanninManos KapritsosBaris KasikciKarem A. SakallahPublished in: SOSP (2019)
Keyphrases
- formal verification
- model checking
- distributed systems
- cryptographic protocols
- incremental learning
- machine learning
- deductive reasoning
- inductive learning
- distributed environment
- cooperative
- multi party
- bayesian networks
- database replication
- concept learning
- lightweight
- inductive logic programming
- fault tolerant
- multi agent
- knowledge acquisition
- invariant features
- inductive inference
- peer to peer
- security protocols
- knowledge representation
- wireless sensor networks
- communication protocols
- expert systems