Issue 2/2019
Content (4 Articles)
Statistical verification of PCTL using antithetic and stratified samples
Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud
SAT-based explicit LTL reasoning and its application to satisfiability checking
Jianwen Li, Shufang Zhu, Geguang Pu, Lijun Zhang, Moshe Y. Vardi
Some complexity results for stateful network verification
Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner