Moscow ACM/SIGMOD Chapter EDBT/ICDT 2014 ICDE 2014
MCAI 2.0 Model Checking in Ten Minutes Edmund Clarke School of Computer Science Carnegie Mellon University.
Model Checking in Ten Minutes