Automated verification of safety properties of declarative networking programs.

Chen Chen Lay Kuan Loh Limin Jia Wenchao Zhou Boon Thau Loo

Published in: PPDP (2015)

Keyphrases

automated verification
model checking
real time
high level
database systems
structural properties
desirable properties
automated reasoning
deductive database systems
neural network
machine learning
artificial intelligence
domain independent
imperative programs