Computer Aided Verification 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Brinksma, Ed (Editor, http://id.loc.gov/vocabulary/relators/edt), Larsen, Kim G. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Edition: 1st ed. 2002.
• Series: Lecture Notes in Computer Science, 2404
• Subjects: Computers.; Computer logic.; Software engineering.; Mathematical logic.; Artificial intelligence.; Special purpose computers.; Theory of Computation.; Logics and Meanings of Programs.; Software Engineering.; Mathematical Logic and Formal Languages.; Artificial Intelligence.; Special Purpose and Application-Based Systems.

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...