Search for Author All Reviews
	Ernst-Rudiger, Olderog     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 6 reviews       Verification of sequential and concurrent programs Apt K., de Boer F., Olderog E., Springer Publishing Company, Incorporated, New York, NY, 2009. 502 pp.  Type: Book (978-1-848827-44-8) This is the third edition of a well-known text on formal verification of software programs. The major change from the second edition is the addition of proofs of object-oriented programs. The authors added three brand-new chapters and ...... Jun 10 2010     Real-time systems: formal specification and automatic verification Olderog E., Dierks H., Cambridge University Press, New York, NY, 2008. 344 pp.  Type: Book The authors’ stated--and well-achieved--purpose for this advanced and highly focused book on formally specifying and automatically verifying real-time embedded safety-critical systems is to bring together du...... Sep 15 2009     Verification of sequential and concurrent programs (2nd ed.) Apt K. (ed), Olderog E., Springer-Verlag New York, Inc., Secaucus, NJ, 1997.  Type: Book (9780387948966) A program consists of statements designating the actions to be performed and the variables on which they operate. Each statement changes the state of variables, which may be defined by an assertion, that is, a relation between variable...... Feb 1 1998     Verification of sequential and concurrent programs Krzysztof R., Olderog E., Springer-Verlag New York, Inc., New York, NY, 1991.  Type: Book (9780387975320) The formal verification of sequential programs by means of syntax-directed proof systems is now well understood in principle. It is possible to take the proof rules as defining the semantics of the programming languages, and this is ho...... Jul 1 1992     Correctness of concurrent processes Olderog E. Theoretical Computer Science 80(2): 263-288, 1991.  Type: Article Petri nets can be used as a basis for defining the semantics of concurrent processes a` la CCS or CSP. This paper addresses the notion of the correctness of such processes with respect to trace logic specifications. The issue...... Dec 1 1991     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy