A Bounded Model Checker for SPARK Programs.

Cláudio Belo Lourenço Maria João Frade Jorge Sousa Pinto

Published in: ATVA (2014)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
symbolic model checking
formal specification
test suite
set theory
ai planning
genetic algorithm
first order logic
specification language