Ausgabe 6/2005
Inhalt (6 Artikel)
Dynamic and Formal Verification of Embedded Systems: A Comparative Survey
Mirko Loghi, Tiziana Margaria, Graziano Pravadelli, Bernhard Steffen
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking
Jean-Pierre Talpin, Paul Le Guernic, Sandeep Kumar Shukla, Rajesh Gupta
Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation
Alfred Koelbl, Carl Pixley
A Framework for the Functional Verification of SystemC Models
Francesco Bruschi, Fabrizio Ferrandi, Donatella Sciuto