Technical Perspective: IronFleet simplifies proving safety and liveness properties.

Fred B. Schneider

Published in: Commun. ACM (2017)

Keyphrases

desirable properties
neural network
case study

special case
real time
data sets

information retrieval
information systems

bayesian networks
data streams