Login / Signup

Generative programming with support for formal verification.

Marek Paska
Published in: SIES (2009)
Keyphrases
  • formal verification
  • model checking
  • programming language
  • generative model
  • automated verification
  • symbolic model checking
  • orders of magnitude
  • bounded model checking