Login / Signup
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.
Alexey Gotsman
Fabio Massacci
Marco 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