Cover Image

Symbolic Model Checking /

Show other versions (1)

Formal verification means having a mathematical model of a system, a language for specifying desired properties of the system in a concise, comprehensible and unambiguous way, and a method of proof to verify that the specified properties are satisfied. When the method of proof is carried out substan...

Full description

Bibliographic Details
Main Author:	McMillan, Kenneth L.
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 1993.
Subjects:	Engineering. Information theory. Computer engineering. Systems engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Handbook of Electronics Formulas, Symbols, and Definitions /
by: Brand, John R.
Published: (1995)

Symbolic Analysis in Analog Integrated Circuit Design /
by: Floberg, Henrik
Published: (1997)

Self-Timed Control of Concurrent Processes : the Design of Aperiodic Logical Circuits in Computers and Discrete Systems /
by: Varshavskiĭ, V. I. (Viktor Ilʹich)
Published: (1990)

Symbolic Analysis of Analog Circuits: Techniques and Applications : a Special Issue of Analog Integrated Circuits and Signal Processing /
by: Huelsman, Lawrence P.
Published: (1993)

Methodology for the Modeling and Simulation of Microsystems /
by: Romanowicz, Bartlomiej F.
Published: (1998)

Modeling of Electrical Overstress in Integrated Circuits /
by: Díaz, Carlos H.
Published: (1995)

Modeling and Simulation of Mixed Analog-Digital Systems /
by: Antao, Brian
Published: (1996)

Functional Decomposition with Applications to FPGA Synthesis /
by: Scholl, Christoph
Published: (2001)

Modeling and Simulation of High Speed VLSI Interconnects : a Special Issue of Analog Integrated Circuits and Signal Processing An International Journal Vol. 5, No. 1 (1994) /
by: Nakhla, M. S.
Published: (1994)

Nonlinear Systems : Modeling and Estimation 1 /
by: Fossard, A. J.
Published: (1995)

Analysis and Design of Mosfets : Modeling, Simulation and Parameter Extraction /
by: Liou, J. J.
Published: (1998)

Feed-Forward Neural Networks : Vector Decomposition Analysis, Modelling and Analog Implementation /
by: Annema, Anne-Johan
Published: (1995)

Computer-Aided Design of Analog Circuits and Systems /
by: Carley, L. Richard
Published: (1993)

Analog VLSI Neural Networks : a Special Issue of Analog Integrated Circuits and Signal Processing /
by: Takefuji, Yoshiyasu
Published: (1993)

BiCMOS Technology and Applications /
by: Alvarez, A. R.
Published: (1993)

Analog Interfaces for Digital Signal Processing Systems /
by: Eynde, Frank Op't
Published: (1993)

Hot-Carrier Reliability of MOS VLSI Circuits /
by: Leblebici, Yusuf
Published: (1993)

High-Performance CMOS Continuous-Time Filters /
by: Silva-Martínez, José
Published: (1993)

Analysis and Synthesis of MOS Translinear Circuits /
by: Wiegerink, Remco J.
Published: (1993)

High Definition Television : Hi-Vision Technology.
Published: (1993)

Lightning Protection for People and Property /
by: Frydenlund, Marvin M.
Published: (1993)

High Voltage Devices and Circuits in Standard CMOS Technologies /
by: Ballan, Hussein
Published: (1999)

Compact Low-Voltage and High-Speed CMOS, BiCMOS and Bipolar Operational Amplifiers /
by: Langen, Klaas-Jan
Published: (1999)

Applied and Computational Control, Signals, and Circuits : Recent Developments /
by: Datta, Biswa Nath
Published: (2001)

Mixed Design of Integrated Circuits and Systems /
by: Napieralski, Andrzej
Published: (1998)

VLSI Signal Processing Technology /
by: Bayoumi, Magdy A.
Published: (1994)

Multirate Switched-Capacitor Circuits for 2-D Signal Processing /
by: Wang, Ping
Published: (1998)

Characterization Methods for Submicron MOSFETs /
by: Haddara, Hisham
Published: (1996)

Integrated Video-Frequency Continuous-Time Filters : High-Performance Realizations in BiCMOS /
by: Willingham, Scott D.
Published: (1995)

Pipelined Adaptive Digital Filters /
by: Shanbhag, Naresh R.
Published: (1994)

Analog Signal Generation for Built-In-Self-Test of Mixed-Signal Integrated Circuits /
by: Roberts, Gordon W.
Published: (1995)

Transistor Circuits for Spacecraft Power System /
by: Wu, Keng C.
Published: (2002)

CMOS Telecom Data Converters /
by: Rodríguez-Vázquez, Angel
Published: (2003)

Anatomy of a Silicon Compiler /
by: Brodersen, Robert W.
Published: (1992)

Power Distribution Networks in High Speed Integrated Circuits /
by: Mezhiba, Andrey V.
Published: (2004)

Problem Solving For Engineers and Scientists : a Creative Approach /
by: Friedman, Raymond
Published: (1991)

Pipelined Lattice and Wave Digital Recursive Filters /
by: Chung, Jin-Gyun
Published: (1996)

Low-Voltage CMOS Operational Amplifiers : Theory, Design and Implementation /
by: Sakurai, Satoshi
Published: (1995)

ESD Program Management : a Realistic Approach to Continuous Measurable Improvement in Static Control /
by: Dangelmayer, G. Theodore
Published: (1996)

Recent Developments in Time-Frequency Analysis : Volume 9: A Special Issue of Multidimensional Systems and Signal Processing. An International Journal /
by: Cohen, Leon
Published: (1998)