Verifying liveness for asynchronous programs.

Pierre Ganty Rupak Majumdar Andrey Rybalchenko

Published in: POPL (2009)

Keyphrases

model checking
asynchronous communication
machine learning
decision making
neural network
similarity measure
expert systems
information technology
artificial neural networks
probabilistic model
programming environment