Formal Methods in System Design

223	--	237	Christoph Meinel, Anna Slobodová. A Unifying Theoretical Background for Some Bdd-based Data Structures
239	--	264	Robin Sharp, Ole Rasmussen. The T-Ruby Design System
265	--	294	Henrik Hulgaard, Steven M. Burns. Bounded Delay Timing Analysis of a Class of CSP Programs

111	--	112	Costas Courcoubetis. Introduction to the Special Issue on Computer-Aided Verification (CAV93)
113	--	136	Mihalis Yannakakis, David Lee. An Efficient Algorithm for Minimizing Real-Time Transition Systems
137	--	155	Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger. Computing Accumulated Delays in Real-time Systems
157	--	185	Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff. Verification of Real-Time Systems using Linear Relation Analysis
187	--	215	Tomohiro Yoneda, Bernd-Holger Schlingloff. Efficient Verification of Parallel Real-Time Systems

5	--	21	Bernd Becker, Rolf Drechsler, Michael Theobald. On the Expressive Power of OKFDDs
23	--	40	Robert H. Sloan, Ugo A. Buy. Stubborn Sets for Real-Time Petri Nets
41	--	70	Praveen K. Murthy, Shuvra S. Bhattacharyya, Edward A. Lee. Joint Minimization of Code and Data for Synchronous Dataflow Programs
71	--	104	Bishop Brock, Warren A. Hunt Jr.. The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor

External Links