Login / Signup

Properties as Processes: Their Specification and Verification.

Joel KelsoGeorge J. Milne
Published in: FORTE (2005)
Keyphrases
  • formal verification
  • search engine
  • desirable properties
  • data structure
  • specification language
  • formal language
  • verification method
  • formal methods