Choose an application

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

This book constitutes the refereed proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '97, held in Enschede, The Netherlands, in April 1997. The book presents 20 revised full papers and 5 tool demonstrations carefully selected out of 54 submissions; also included are two extended abstracts and a full paper corresponding to invited talks. The papers are organized in topical sections on space reduction techniques, tool demonstrations, logical techniques, verification support, specification and analysis, and theorem proving, model checking and applications.

System design --- Computer software --- Systèmes, Conception de --- Logiciels --- Congresses --- Development --- Congrès --- Développement --- Computer Science --- Engineering & Applied Sciences --- Systèmes, Conception de --- Congrès --- Développement --- Computer science. --- Computer communication systems. --- Software engineering. --- Computers. --- Computer logic. --- Computer engineering. --- Computer Science. --- Computer Engineering. --- Theory of Computation. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Communication Networks. --- Information theory. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Computers --- Distributed processing --- Design and construction --- Congresses.

Choose an application

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

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The conference covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical veri?cation tools, including algorithms and techniques needed for their implementation. The c- ference has traditionally drawn contributions from researchers as well as prac- tioners in both academia and industry. This year we received 94 regular paper submissions out of which 35 were selected. Each submission received an average of 4 referee reviews. In addition, the CAV program contained 11 tool presentations selected from 16 submissions. For each tool presentation, a demo was given at the conference. The large number of tool submissions and presentations testi?es to the liveliness of the ?eld and its applied ?avor.

Computer software --- Integrated circuits --- Logiciels --- Circuits intégrés --- Verification --- Congresses. --- Vérification --- Congrès --- Computer science. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer logic. --- Mathematical logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Logics and Meanings of Programs. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- Special Purpose and Application-Based Systems. --- Software engineering --- Circuits intégrés --- Vérification --- Congrès --- Information theory. --- Logic design. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Special purpose computers --- Computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Computer software - Verification - Congresses --- Integrated circuits - Verification - Congresses

Choose an application

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

This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995. The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.

System design --- Computer software --- Electronic data processing --- Systèmes, Conception de --- Logiciels --- Traitement réparti --- Congresses --- Development --- Distributed processing --- Congrès --- Développement --- Congresses. --- Systèmes, Conception de --- Traitement réparti --- Congrès --- Développement --- Operating systems (Computers). --- Information theory. --- Logic design. --- Software engineering. --- Computer Communication Networks. --- Computer Engineering. --- Operating Systems. --- Theory of Computation. --- Logics and Meanings of Programs. --- Software Engineering. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- Operating systems --- System design - Congresses. --- Computer software - Development - Congresses --- Electronic data processing - Distributed processing - Congresses.

Choose an application

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

Choose an application

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