Choose an application

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

Phenomenology and literature. --- African Americans in literature. --- Philosophy in literature. --- Toomer, Jean (1894-1967) --- Noirs américains --- Philosophie --- Phénoménologie et littérature --- Critique et interprétation --- Dans la littérature --- Toomer, Jean, --- Philosophy.

Choose an application

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

Mathematical logic --- Logic --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ontwerpen --- programmeren (informatica) --- wiskunde --- software engineering --- KI (kunstmatige intelligentie) --- logica --- robots

Choose an application

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

Computer software --- Integrated circuits --- Logiciels --- Circuits intégrés --- Verification --- Congresses. --- Vérification --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Circuits intégrés --- Vérification --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer science. --- Logic design. --- 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). --- Logic Design. --- 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 --- Information theory. --- Artificial Intelligence. --- Communication theory --- Communication --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

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

Vietnamese language --- Spoken Annamese.

Choose an application

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

This volume contains the proceedings of the International Conference on C- puter Aided Veri?cation (CAV), held in Seattle, Washington, USA, July 16-20, 2006. CAV 2006 was the 18th in a series of conferences dedicated to the - vancementofthetheoryandpracticeofcomputer-assistedformalanalysisme- ods for software and hardware systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical veri?cation tools and the algorithms and techniques that are needed for their implementation. We received 121 regular paper submissions and 23 tool paper submissions. Of these, the Program Committee selected 35 regular papers and 10 tool papers. Each submission was reviewed by three members of the Program Committee. In addition, each regular paper was reviewed by at least one expert external to the Program Committee. The CAV 2006 program included ?ve invited talks: - Manuvir Das (Microsoft) on Formal Speci?cations on Industrial-Strength Code From Myth to Reality  - David Dill (Stanford University) on I Think I Voted: E-voting vs. Dem- racy  - David Harel (Weizmann Institute) on Playing with Veri?cation, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs  - Tony Hoare (Microsoft) on The Ideal of Veri?ed Software  - Joe Stoy (Bluespec) on Veri?cation? Getting it Right the First Time  ThetraditionalCAVtutorialwasreplacedbyaspecialsymposium,25Years ofModelChecking, organizedbyOrnaGrumberg(Technion)andHelmutVeith (TechnicalUniversityofMunich).Thesymposiumconsistedof12invitedlectures delivered by leading researchers in the ?eld of model checking.

Mathematical logic --- Logic --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ontwerpen --- programmeren (informatica) --- wiskunde --- software engineering --- KI (kunstmatige intelligentie) --- logica --- robots