scientific article; zbMATH DE number 2112983

MaRDI QIDQ4824482zbMATH OpenFDO

Authors Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, Frederic Doucet, Rajesh K. Gupta

Publication date 1 November 2004

zbMATH Keywords

multi-clocked synchronous formalismpolychronous model of computation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Publication:3158282
• Publication:4869826
• Scientific article; zbMATH DE number 2102707
• System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
• A methodology for hardware verification using compositional model checking

Cited in

(7)

• System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation
• Computer Aided Verification
• A compositional behavioral modeling framework for embedded system design and conformance checking
• scientific article; zbMATH DE number 1191738 (Why is no real title available?)
• Verification of system level model transformations
• A framework for modeling the distributed deployment of synchronous designs
• Compositional strategy mapping

Describes a project that uses

Uses Software

• SIGNAL
• Ptolemy
• Polychrony

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4824482)