Choose an application

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

Complex analysis --- Production management --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- betrouwbaarheid --- complexe analyse (wiskunde) --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen --- software engineering

Choose an application

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

This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.

Computer software --- Integrated circuits --- Electronic digital computers --- Verification --- Evaluation --- Computer science. --- Logic design. --- Software engineering. --- Computers. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Logics and Meanings of Programs. --- Software Engineering. --- Mathematical Logic and Formal Languages. --- Logic Design. --- Logiciels --- Circuits intégrés --- Ordinateurs --- Congresses --- Vérification --- Congrès --- Circuits intégrés --- Vérification --- Congrès --- Informatics --- Science --- 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 brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Information theory. --- Communication theory --- Communication --- Computer software - Verification - Congresses --- Integrated circuits - Verification - Congresses --- Congresses.

Choose an application

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

Computer software --- Logiciels --- Integrated circuits --- Circuits intégrés --- Electronic digital computers --- Ordinateurs --- Verification --- Vérification --- Congrès --- Evaluation --- Évaluation --- Circuits intégrés --- Congresses. --- Vérification --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Mathematical logic. --- Logic Design. --- Computer science. --- Logic design. --- Software engineering. --- Computers. --- Computer logic. --- Artificial intelligence. --- Computer Science. --- Theory of Computation. --- Software Engineering. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence (incl. Robotics). --- 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 --- 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 --- Cybernetics --- Calculators --- Cyberspace --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Informatics --- Science --- Computer algorithms. --- Algorithms --- Information theory. --- Artificial Intelligence. --- Communication theory --- Communication --- Computer software - Verification - Congresses --- Logiciels - Vérification - Congrès - Congrès --- Integrated circuits - Verification - Congresses --- Circuits intégrés - Vérification - Congrès --- Electronic digital computers - Evaluation - Congresses --- Ordinateurs - Évaluation - Congrès

Choose an application

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

Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- informatica --- programmeren (informatica) --- informatiesystemen --- programmeertalen --- software engineering --- computernetwerken

Choose an application

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

The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of speci?cation, testing, and veri?cation of distributed systems and communication protocols. The main topics are: – FDT-based system and protocol engineering. – Semantical foundations. – Extensions of FDTs. – Formal approaches to concurrent/distributed object-oriented systems. – Real-time and probability aspects. – Performance modeling and analysis. – Quality of service modeling and analysis. – Veri?cation and validation. – Relations between informal and formal speci?cation. – FDT-based protocol implementation. – Software tools and support environments. – FDT application to distributed systems. – Protocol testing, including conformance testing, interoperability testing, and performance testing. – Test generation, selection, and coverage. – Practical experience and case studies. – Corporate strategic and ?nancial consequences of using formal methods. A total of 61 papers were submitted to FORTE 2002, and reviewed by m- bers of the program committee and additional reviewers. The program committee selected 22 regular papers, two tool papers, and two posters for presentation at the conference. The program also included three tutorials and ?ve invited talks.

Formal methods (Computer science) --- Electronic data processing --- Computer network protocols --- Distributed processing --- Méthodes formelles (Informatique) --- Traitement réparti --- Protocoles de réseaux d'ordinateurs --- Congresses --- Congrès --- Computer science. --- Computer communication systems. --- Software engineering. --- Operating systems (Computers). --- Computer logic. --- Computer Science. --- Computer Communication Networks. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Operating Systems. --- Logics and Meanings of Programs. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer operating systems --- Computers --- Disk operating systems --- Systems software --- 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 --- Network computers --- Informatics --- Science --- Operating systems --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Formal methods (Computer science) - Congresses --- Electronic data processing - Distributed processing - Congresses --- Computer network protocols - Congresses