Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems

Cook, B.; Khlaaf, H.; Piterman, N.

Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems (bibtex)

@string{jacm="Journal of the ACM"}
@article{CKP17,
  author =       {B. Cook and H. Khlaaf and N. Piterman},
  title = 	 {Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems},
  journal =      jacm,
  OPTvolume =    {64},
  OPTnumber =    {2}, 
  OPTpages = 	 {15},
  year = 	 {2017},
  publisher = acm,
  pdf = 	 {2017/CKP17.pdf},
  OPTurl = 	 {2017/CKP17.html},
  keywords = {Model Checking,Temporal Logic},
}