Verification: Theory and Practice

@inproceedings{Dershowitz2003VerificationTA,
  title={Verification: Theory and Practice},
  author={Nachum Dershowitz},
  booktitle={Lecture Notes in Computer Science},
  year={2003}
}
  • Nachum Dershowitz
  • Published in Lecture Notes in Computer Science 2003
  • DOI:10.1007/b12001
ion as the Key for Invariant Verification. . . . . . . . . . . . . . . . . . . . . . 67 Saddek Bensalem, Susanne Graf, Yassine Lakhnech Domain Engineering: a "Radical Innovation" for Software and Systems Engineering? A Biased Account. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 100 Dines Bj¢rner The ASM Ground Model Method as a Foundation for Requirements Engineering… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-8 OF 8 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 51 REFERENCES

A fully abstract may testing semantics for concurrent objects

  • Proceedings 17th Annual IEEE Symposium on Logic in Computer Science
  • 2002
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Temporal-Safety Proofs for Systems Code

VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Java Bytecode Verification: An Overview

VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Java Pathfinder User Manual

K. Havelund
  • NASA, Aug.
  • 1999
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

A Concurrent Object Calculus: Reduction and Typing

  • Electr. Notes Theor. Comput. Sci.
  • 1998
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

A fully abstract game semantics for general references

  • Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
  • 1998
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL