Choose an application

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

Electronic digital computers --- Computer architecture --- RTL (Computer program language) --- VHDL (Computer hardware description language) --- Verilog (Computer hardware description language) --- Design and construction

Choose an application

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

FPGA (field programmable gate array) --- VHDL (very high speed integrated circuit hardware description language) --- prototypen --- Electronics --- Computer architecture. Operating systems --- Field programmable gate arrays --- Prototypes, Engineering --- VHDL (Computer hardware description language) --- Réseaux logiques programmables par l'utilisateur --- Prototypes --- VHDL (Langage de description de matériel informatique) --- Design and construction --- Conception et construction --- FPGA --- VHDL --- Digitale techniek --- Prototypes, Engineering. --- VHDL (hardware description language) --- HDL --- VGA --- ASIC --- Xilinx --- Spartan --- Engineering prototypes --- Engineering design --- Engineering models --- Field programmable logic arrays --- FPGAs --- Gate array circuits --- Programmable logic devices --- Design and construction. --- Réseaux logiques programmables par l'utilisateur --- VHDL (Langage de description de matériel informatique) --- Very High Speed Integrated Circuits Hardware Description Language (Computer hardware description language) --- VHSIC Hardware Description Language (Computer hardware description language) --- Computer hardware description languages --- Integrated circuits --- Computer simulation

Choose an application

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

This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference. The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.

Computer software --- Electronic digital computers --- Logiciels --- Ordinateurs --- Verification --- Congresses. --- Evaluation --- Vérification --- Congrès --- Vérification --- Congrès --- Congresses --- Logic design. --- Information theory. --- Computer hardware. --- Software engineering. --- Computer science. --- Logics and Meanings of Programs. --- Theory of Computation. --- Computer Hardware. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Special Purpose and Application-Based Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics

Choose an application

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

Computers. --- Electronic data processing. --- Ordinateurs --- Informatique --- Computers --- Electronic data processing --- 681.3*A --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- General literature --- Automation --- 681.3*A General literature

Choose an application

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

The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive notion of algorithm. It is only in this century that metamathematical problems have led to the intensive search for a precise and sufficiently general formalization of the notions of computability and algorithm. In the 1930s, a number of quite different concepts for this purpose were pro­ posed, such as Turing machines, WHILE-programs, recursive functions, Markov algorithms, and Thue systems. All these concepts turned out to be equivalent, a fact summarized in Church's thesis, which says that the resulting definitions form an adequate formalization of the intuitive notion of computability. This had and continues to have an enormous effect. First of all, with these notions it has been possible to prove that various problems are algorithmically unsolvable. Among of group these undecidable problems are the halting problem, the word problem theory, the Post correspondence problem, and Hilbert's tenth problem. Secondly, concepts like Turing machines and WHILE-programs had a strong influence on the development of the first computers and programming languages. In the era of digital computers, the question of finding efficient solutions to algorithmically solvable problems has become increasingly important. In addition, the fact that some problems can be solved very efficiently, while others seem to defy all attempts to find an efficient solution, has called for a deeper under­ standing of the intrinsic computational difficulty of problems.

Numerical solutions of algebraic equations --- Computer science --- Computational Complexity --- Computational complexity --- Computational complexity. --- Complexité de calcul (Informatique) --- Combinatorics. --- Computers. --- Mathematical logic. --- Algorithms. --- Algebraic geometry. --- Theory of Computation. --- Mathematical Logic and Foundations. --- Algorithm Analysis and Problem Complexity. --- Algebraic Geometry. --- Algebraic geometry --- Geometry --- Algorism --- Algebra --- Arithmetic --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Combinatorics --- Mathematical analysis --- Foundations