The FSAP/NuSMV-SA Safety Analysis Platform.

Marco Bozzano Adolfo Villafiorita

Published in: Int. J. Softw. Tools Technol. Transf. (2007)

Keyphrases

symbolic model checking
safety analysis
model checking
partial observability
formal verification
binary decision diagrams
real time
symbolic representation
model checker
reinforcement learning
control system
artificial intelligence
web services