Automating Invariant Verification of Behavioral Specifications

Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi. Automating Invariant Verification of Behavioral Specifications. In Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China. pages 49-56, IEEE Computer Society, 2006. [doi]

Abstract

Abstract is missing.