A Case Study: Verification of an Embedded System Using Abstraction Refinement with Requirements.

Toshifusa Sekizawa, Makoto Fujiwara, Koichiro Watanabe

Browse the full COMPSAC paper archive.