Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Meyer, Bertrand (Editor), Woodcock, Jim (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Series: Lecture Notes in Computer Science, 4171
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Artificial intelligence.; Computer Science.; Programming Techniques.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Artificial Intelligence (incl. Robotics).

This state-of-the-art survey is an outcome of the first IFIP TC 2/WG 2.3 working conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005, held in Zurich, Switzerland, in October 2005. This was a historic event gathering many top international experts on systematic methods for speci...