Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei An automatic proving approach to parameterized verification. (English) Zbl 1407.68295 ACM Trans. Comput. Log. 19, No. 4, Article No. 27, 25 p. (2018). Cited in 2 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) Keywords:automatic verification; cache coherence protocols; inductive methods; invariant and proof generation; theorem proving Software:Cubicle; ParaVerifier; Isabelle; Isabelle/HOL PDFBibTeX XMLCite \textit{Y. Li} et al., ACM Trans. Comput. Log. 19, No. 4, Article No. 27, 25 p. (2018; Zbl 1407.68295) Full Text: DOI Link