Using a Symbolic Model Checker for Verify Safety Properties in SA/RT Models.

Javier Tuya Luciano Sánchez José A. Corrales

Published in: ESEC (1995)

Keyphrases

model checking
model checker
neural network
search space
rough sets
description logics
simulated annealing
temporal logic
formal verification