Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
Contributors: Kurt Jensen (Editor); Andreas Podelski (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 28, 2004
Language: eng
Format: Paperback
Number of pages: 608
ISBN-13: 9783540212997
Subjects: Software engineering; System design; Development; Computer software; Computers; Computers - Languages / Programming; Programming - Software Development; Computer Books: General; Networking - General; General; Logic Design; Computers / Logic Design; Congresses
First sentence: Decision procedures for quantifier-free First-Order Logic (FOL) with equality have become an integral part of many formal verification tools.