A Proof Technique for Rely/Guarantee Properties.

Eugene W. Stark

Published in: FSTTCS (1985)

Keyphrases

real world
desirable properties
imperative programs
data sets
real time
artificial intelligence
website
face recognition
theorem prover
key properties