Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007. The 29 revised full papers presented together with 7 short papers were carefully reviewed and selected from 88 submissions. The papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

Automatic theorem proving --- Théorèmes --- Congresses. --- Démonstration automatique --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Théorèmes --- Démonstration automatique --- Congrès --- EPUB-LIV-FT SPRINGER-B --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Software engineering. --- Computer logic. --- Computers. --- Computer-aided engineering. --- Computer Science. --- Computer-Aided Engineering (CAD, CAE) and Design. --- Logics and Meanings of Programs. --- Information Systems and Communication Service. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Software Engineering. --- CAE --- Engineering --- 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 science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Special purpose computers --- Computers --- 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 --- Informatics --- Science --- Data processing --- Distributed processing --- Computer aided design. --- Logic design. --- Information systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- CAD (Computer-aided design) --- Computer-assisted design --- Computer-aided engineering --- Design