Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995 
Subtitle: Selected Papers (Lecture Notes in Computer Science, 1019)
Publisher: Springer
Published: June 1995
Language: eng
Format: Paperback
Number of pages: 291
ISBN-13: 9783540606307
Subjects: Mathematical theory of computation; Operating systems & graphical user interfaces (GUIs); Systems analysis & design; Utilities & tools; System design; Electronic data processing; Congresses; Computers - General Information; Science/Mathematics; Programming - Software Development; Logic Design; Networking - General; Congress; Computer software; Development; Distributed processing
First sentence: The purpose of this paper is to combine the two major paradigms for the verification of distributed systems: model checking and theorem proving.