Login / Signup
Systematic testing and formal verification to validate reactive programs.
Monika Müllerburg
Leszek Holenderski
Olivier Maffeïs
Agathe Merceron
Matthew Morley
Published in:
Softw. Qual. J. (1995)
Keyphrases
</>
formal verification
program slicing
model checking
model checker
bounded model checking
symbolic model checking
automated verification
temporal logic
real world
symbolic execution
artificial intelligence
multi agent systems
state space
computer programs