Automatic Generation of Provably Correct Embedded Systems.

Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong

Browse the full ICFEM paper archive.