Login / Signup

The Abstract Behavioral Specification Language: A Tutorial Introduction.

Reiner Hähnle
Published in: FMCO (2012)
Keyphrases
  • specification language
  • formal specification
  • programming language
  • description language
  • software environment
  • symbolic execution
  • requirements specification
  • high level
  • machine learning