Dynamic and Formal Verification of Embedded Systems: A Comparative Survey Mirko LoghiTiziana MargariaBernhard Steffen OriginalPaper Pages: 585 - 611
A Compositional Behavioral Modeling Framework for Embedded System Design and Conformance Checking Jean-Pierre TalpinPaul Le GuernicRajesh Gupta OriginalPaper Pages: 613 - 643
Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation Alfred KoelblCarl Pixley OriginalPaper Pages: 645 - 666
A Framework for the Functional Verification of SystemC Models Francesco BruschiFabrizio FerrandiDonatella Sciuto OriginalPaper Pages: 667 - 695
Verification of Embedded Systems Based on Interval Analysis IƱigo UgartePablo Sanchez OriginalPaper Pages: 697 - 720