A property language for the specification of hardware-dependent embedded system software.

Binghao Bao, Carlos Villarraga, Bernard Schmidt, Dominik Stoffel, Wolfgang Kunz

Browse the full FDL paper archive.