Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Abadi, Martin
DEC Systems Research Center
Palo Alto, California
  Follow this Reviewer
Date Reviewed  
- 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 assumed to b...

Mar 1 1993  
  Sometime=always+recursionalways 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 program-verification techniq...

Nov 1 1988  
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy