This paper gives an answer to Cospecification. Our contribution to cospecification is twofold: allowing both to abstractly specify systems without a priori on partitioning step, and achieve a posteriori partial correctness proofs of C programs (software parts) and VHDL programs (hardware parts) with respect to specifications.
|Number of pages||16|
|Journal||Lecture Notes in Computer Science|
|Publication status||Published - 19 Sep 2005|
|Event||First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004 - Guiyang, China|
Duration: 20 Sep 2004 → 24 Sep 2004