Login / Signup

Towards the verification of optimizing transformations for imperative programs.

Gerd Kock
Published in: Microprocessing and Microprogramming (1990)
Keyphrases
  • imperative programs
  • dynamic logic
  • model checking
  • real time
  • formal verification
  • person identification
  • database
  • neural network
  • knowledge base
  • face verification
  • formal analysis
  • asynchronous circuits