Using PVS to Prove Properties of Systems Modelled in a Synchronous Dataflow Language.

Sanjai Rayadurgam, Anjali Joshi, Mats Per Erik Heimdahl

Browse the full ICFEM paper archive.