+612 9045 4394
Verification: Theory and Practice : Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday - Nachum Dershowitz

Verification: Theory and Practice

Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

By: Nachum Dershowitz (Editor)

Paperback Published: 24th February 2004
ISBN: 9783540210023
Number Of Pages: 788

Share This Book:


or 4 easy payments of $55.19 with Learn more
Ships in 5 to 9 business days

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.

Paean to Zohar Mannap. 1
A logic of object-oriented programsp. 11
Formal analysis of hierarchical state machinesp. 42
Abstraction as the key for invariant verificationp. 67
Domain engineering : a "radical innovation" for software and systems engineering? : a biased accountp. 100
The ASM ground model method as a foundation for requirements engineeringp. 145
A functional calculus for specification and verification of nondeterministic interactive systemsp. 161
Notes from the logbook of a proof-checker's projectp. 182
Counterexamples revisited : principles, algorithms, applicationsp. 208
Easy intruder deductionsp. 225
Verification by abstract interpretationp. 243
Game models for open systemsp. 269
A compositional operational semantics for Java[subscript MT]p. 290
Bounded fairnessp. 304
Efficient boundary values generation in general metric spaces for software component testingp. 318
Extreme model checkingp. 332
Automata mistap. 359
Aspect validation using model checkingp. 373
Qualitative theorem proving in linear constraintsp. 395
Some institutional requirements for temporal reasoning on dynamic reconfiguration for component based systemsp. 407
A formal basis for reasoning on programmable QoSp. 436
A hierarchical completeness proof for propositional temporal logicp. 480
Computational proof as experiment : probabilistic algorithms from a thermodynamic perspectivep. 524
Unit checking : symbolic model checking for a unit of codep. 548
Colimits for concurrent collectorsp. 568
TLPVS : a PVS-based LTL verification systemp. 598
Binary extensions of S1S and the composition methodp. 626
Deriving efficient graph algorithmsp. 645
Petri net analysis using invariant generationp. 682
Fair equivalence relationsp. 702
Digital algebra and circuitsp. 733
Program synthesis for multi-agent question answeringp. 747
Combining sets with elementsp. 762
Author indexp. 783
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540210023
ISBN-10: 3540210024
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 788
Published: 24th February 2004
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.5 x 16.15  x 2.92
Weight (kg): 0.98