Login / Signup

Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.

Alexey GotsmanFabio MassacciMarco Pistore
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • specification language
  • symbolic execution
  • formal specification
  • description language
  • programming language
  • model checker
  • model checking
  • case study
  • software environment
  • artificial intelligence