A Verifier and Timing Analyser for Simple Imperative Programs (Abstract).

Michael J. C. Gordon

Published in: CAV (1993)

Keyphrases

imperative programs
intelligent systems
real time
genetic algorithm
website
low level
higher level
dynamic logic