Search
w/in this Reviewer
for Reviewers
All Reviews
Abadi, Martin
DEC Systems Research Center
Palo Alto, California
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Temporal logics need their clocks
Sain I. Theoretical Computer Science 95(1): 75-95, 1992. Type: Article
Sain investigates soundness and completeness issues in first-order temporal logics. The focus of the paper is on nonstandard characterizations of the power of temporal proof systems. (In a nonstandard result, time is not necessarily ...
Mar 1 1993
Sometime=always+recursion
always on the equivalence of the intermittent and invariant assertions methods for proving properties of programs
Cousot P., Cousot R. Acta Informatica 24(1): 1-31, 1987. Type: Article
This paper compares two verification methods for inevitability properties of nondeterministic transition systems, the “always” method and the “sometime” method. These methods are abstractions of ...
Nov 1 1988
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy