Using "test model-checking" to verify the Runway-PA8000 memory model (1998)

Article

Verification of runway-pa8000 memory model using "test model-checking" technique.

Using “test model-checking” to verify the Runway-PA8000 memory model

Article

Java Bytecode Veriication Using Model Checking ?

Article

Combining Model Checking and Compositional Reasoning: Erlang, Agents, and Veriication

Article

Using On-the--y Veriication Techniques for the Generation of Test Suites Using On-the--y Veriication Techniques for the Generation of Test Suites

Article

The Application of Model-checking to Veriication Problems in Telephone Switching Systems

Article

An Overview of Test Model-Checking for Verifying Conformance to Shared Memory Models

The `Test Model-checking' Approach to the Verification of Formal Memory Models of Multiprocessors (1998)

Conference Proceedings