Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Circuit d'analyse symbolique --- Computer-aided design --- Computergestuurd ontwerpen --- Conception assistée par ordinateur --- Ontwerpen [Computergestuurd ] --- Symbolic analysis of electric circuits --- Symbolic circuit analysis --- Symbolische schakeling-analyse --- Electronic circuit design --- Linear integrated circuits --- Circuits électroniques --- Circuits intégrés linéaires --- Data processing --- Design and construction --- Calcul --- Informatique --- Conception et construction --- -Linear integrated circuits --- -Symbolic circuit analysis --- Academic collection --- Electric circuit analysis --- Linear ICs --- Analog integrated circuits --- Electronic circuits --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- -Data processing --- Design&delete&

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

CAD/CAM systems. --- Computer interfaces. --- Computer aided design --- Computer interfaces --- Computer-aided design --- CAD/CAM systems --- 681.3*J6 --- Computer Aided Design/Computer Aided Manufacturing Systems --- Computer Aided Manufacturing Systems --- Computer-aided engineering --- Computer integrated manufacturing systems --- Production engineering --- Production management --- Automation --- CAD (Computer-aided design) --- Computer-assisted design --- Design --- Interfaces, Computer --- Computer input-output equipment --- Interface circuits --- Computer-aided engineering: computer-aided design; CAD; computer-aided manufacturing; CAM --- Data processing --- 681.3*J6 Computer-aided engineering: computer-aided design; CAD; computer-aided manufacturing; CAM

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the second workshop on Computer Aided Verification, held at DIMACS, Rutgers University, June 18-21, 1990. Itfeatures theoretical results that lead to new or more powerful verification methods. Among these are advances in the use of binary decision diagrams, dense time, reductions based upon partial order representations and proof-checking in controller verification. The motivation for holding a workshop on computer aided verification was to bring together work on effective algorithms or methodologies for formal verification - as distinguished, say,from attributes of logics or formal languages. The considerable interest generated by the first workshop, held in Grenoble, June 1989 (see LNCS 407), prompted this second meeting. The general focus of this volume is on the problem of making formal verification feasible for various models of computation. Specific emphasis is on models associated with distributed programs, protocols, and digital circuits. The general test of algorithm feasibility is to embed it into a verification tool, and exercise that tool on realistic examples: the workshop included sessionsfor the demonstration of new verification tools.

Computer-aided design --- Digital integrated circuits --- Conception assistée par ordinateur --- Congresses --- Design and construction --- Data processing --- Congrès --- -Digital integrated circuits --- -Integrated circuits --- 681.3*C22 --- 681.3*C3 --- 681.3*F3 --- Chips (Electronics) --- Circuits, Integrated --- Computer chips --- Microchips --- Electronic circuits --- Microelectronics --- Digital electronics --- Integrated circuits --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design --- Verification --- -Congresses. --- Network protocols: protocol architecture; protocol verification --- Special-purpose and application-based systems: microprocessor/microcomputer; process control-, real-time, signal processing systems (Computer systems organization)--See also {681.3*J7} --- Logics and meanings of programs (Theory of computation) --- 681.3*F3 Logics and meanings of programs (Theory of computation) --- 681.3*C3 Special-purpose and application-based systems: microprocessor/microcomputer; process control-, real-time, signal processing systems (Computer systems organization)--See also {681.3*J7} --- 681.3*C22 Network protocols: protocol architecture; protocol verification --- Conception assistée par ordinateur --- Congrès --- Digital integrated circuits - Design adn construction - Data processing - congresses. --- Computer-aided design - Congresses. --- Logic, Symbolic and mathematical. --- Information theory. --- Logic design. --- Computer science. --- Software engineering. --- Mathematical Logic and Foundations. --- Theory of Computation. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Software Engineering. --- Special Purpose and Application-Based Systems. --- Computer software engineering --- Engineering --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Design, Logic --- Design of logic systems --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Verification -&delete& --- -Congresses