An algebraic approach for codesign

Marc Aiguier; Stefan Béroff; Pierre Yves Schobbens

doi:10.1007/978-3-540-31862-0_30

An algebraic approach for codesign

Marc Aiguier, Stefan Béroff, Pierre Yves Schobbens

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Abstract

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 language	English
Title of host publication	Theoretical Aspects of Computing - ICTAC 2004
Subtitle of host publication	First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
Editors	Zhiming Liu, Keijiro Araki
Publisher	Springer
Pages	415-430
Number of pages	16
ISBN (Electronic)	978-3-540-31862-0
ISBN (Print)	978-3-540-25304-4
DOIs	https://doi.org/10.1007/978-3-540-31862-0_30
Publication status	Published - 19 Sept 2005
Event	First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004 - Guiyang, China Duration: 20 Sept 2004 → 24 Sept 2004

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004
Country/Territory	China
City	Guiyang
Period	20/09/04 → 24/09/04

Access to Document

10.1007/978-3-540-31862-0_30

Cite this

@inproceedings{b7533126fdc54f76a94c9444631280a3,

title = "An algebraic approach for codesign",

abstract = "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.",

author = "Marc Aiguier and Stefan B{\'e}roff and Schobbens, {Pierre Yves}",

year = "2005",

month = sep,

day = "19",

doi = "10.1007/978-3-540-31862-0_30",

language = "English",

isbn = "978-3-540-25304-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "415--430",

editor = "Zhiming Liu and Keijiro Araki",

booktitle = "Theoretical Aspects of Computing - ICTAC 2004",

note = "First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004 ; Conference date: 20-09-2004 Through 24-09-2004",

}

Aiguier, M, Béroff, S & Schobbens, PY 2005, An algebraic approach for codesign. in Z Liu & K Araki (eds), Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers. Lecture Notes in Computer Science, Springer, pp. 415-430, First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004, Guiyang, China, 20/09/04. https://doi.org/10.1007/978-3-540-31862-0_30

An algebraic approach for codesign. / Aiguier, Marc; Béroff, Stefan; Schobbens, Pierre Yves.
Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers. ed. / Zhiming Liu; Keijiro Araki. Springer, 2005. p. 415-430 (Lecture Notes in Computer Science).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - An algebraic approach for codesign

AU - Aiguier, Marc

AU - Béroff, Stefan

AU - Schobbens, Pierre Yves

PY - 2005/9/19

Y1 - 2005/9/19

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=24644490767&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-31862-0_30

DO - 10.1007/978-3-540-31862-0_30

M3 - Conference contribution

AN - SCOPUS:24644490767

SN - 978-3-540-25304-4

T3 - Lecture Notes in Computer Science

SP - 415

EP - 430

BT - Theoretical Aspects of Computing - ICTAC 2004

A2 - Liu, Zhiming

A2 - Araki, Keijiro

PB - Springer

T2 - First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004

Y2 - 20 September 2004 through 24 September 2004

ER -

An algebraic approach for codesign

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this