An algebraic approach for codesign

Authors:
Marc Aiguier;Stefan Béroff;Pierre-Yves Schobbens
Affiliations:
CNRS UMR 8042, LaMI, Université d’Évry Val d’Essonne, Évry, France;CNRS UMR 8042, LaMI, Université d’Évry Val d’Essonne, Évry, France;Facultés Universitaires de Namur, Institut d’Informatique, Namur, Belgium
Venue:
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Year:
2004

Citing 10
Cited 0

Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
Label algebras and exception handling

TAPSOFT '93 Selected papers of the colloquium on Formal approaches of software engineering
The benefits of relaxing punctuality

Journal of the ACM (JACM)
Algebraic approaches to nondeterminism—an overview

ACM Computing Surveys (CSUR)
An introduction to ET-LOTOS for the description of time-sensitive systems

Computer Networks and ISDN Systems
Timed rewriting logic with an application to object-based specification

Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
Formal Semantics for VHDL

Formal Semantics for VHDL
Logical systems for structured specifications

Theoretical Computer Science
Proceedings of the First International Conference on Temporal Logic

ICTL '94 Proceedings of the First International Conference on Temporal Logic
Logics and Models of Real Time: A Survey

Proceedings of the Real-Time: Theory in Practice, REX Workshop

Quantified Score

Hi-index	0.00

Visualization

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.