Login / Signup

Applying symbolic bounded model checking to the 2012 RERS greybox challenge.

Jeremy MorseLucas C. CordeiroDenis A. NicoleBernd Fischer
Published in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • real time
  • object oriented
  • data sets
  • web services
  • high level
  • modal logic
  • symbolic description