Editors:
Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2772)
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (33 chapters)
-
Front Matter
-
Frontispiece: Zohar Manna
-
Technical Papers
About this book
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor.
The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.
Keywords
- Requirements Engineering
- Software Engineering
- algorithms
- automated deduction
- computer science logic
- concurrent systems
- distributed systems
- logic
- logics of programming
- programming theory
- reactive systems
- testing
- theoretical computer science
- theory of computing
- verification
Editors and Affiliations
-
School of Computer Science, Tel Aviv University, Ramat Aviv, Tel Aviv, Israel
Nachum Dershowitz
Bibliographic Information
Book Title: Verification: Theory and Practice
Book Subtitle: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday
Editors: Nachum Dershowitz
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/b12001
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 2003
Softcover ISBN: 978-3-540-21002-3Published: 24 February 2004
eBook ISBN: 978-3-540-39910-0Published: 24 February 2004
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVI, 788
Topics: Software Engineering, Computer Science Logic and Foundations of Programming, Special Purpose and Application-Based Systems, Compilers and Interpreters, Theory of Computation