Login / Signup

: A Bounded Model Checking Tool to Verify Qt Applications.

Mário GarciaFelipe R. MonteiroLucas C. CordeiroEddie Batista de Lima Filho
Published in: SPIN (2016)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • software tools
  • linear temporal logic
  • real time
  • genetic algorithm
  • cooperative
  • state space