Tie-Cheng Wang, Allen Goldberg. A mechanical verifier for supporting the design of reliable reactive systems. In Second International Symposium on Software Reliability Engineering, ISSRE 1991, Austin, TX, USA, May 17-18, 1991. pages 131-138, IEEE, 1991. [doi]
Abstract is missing.