Filter by
Trace Theory for Automatic Hierarchical Verification of Speed-Independent Cir…
Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits. He describes a formal model of circuit operation, defines the proper relationship between an implementation and its specification, and constructs a computer program that can check this relat…
- Edition
- -
- ISBN/ISSN
- 9780262256025
- Collation
- 1 online resource (163 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Modeling and analysis of communicating systems
Complex communicating computer systems -- computers connected by data networks and in constant communication with their environments -- do not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a …
- Edition
- -
- ISBN/ISSN
- 0262321033
- Collation
- 1 online resource (xvi, 376 pages) :illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography