An algebraic approach for codesign

Marc Aiguier, Stefan Béroff, Pierre Yves Schobbens

Research output: Contribution to journalConference articlepeer-review


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.

Original languageEnglish
Pages (from-to)415-430
Number of pages16
JournalLecture Notes in Computer Science
Publication statusPublished - 19 Sep 2005
EventFirst International Colloquium on Theoretical Aspects of Computing - ICTAC 2004 - Guiyang, China
Duration: 20 Sep 200424 Sep 2004

Fingerprint Dive into the research topics of 'An algebraic approach for codesign'. Together they form a unique fingerprint.

Cite this