Login / Signup
Dynamic analysis of SA/RT models using Spin and modular verification.
Javier Tuya
José Ramón de Diego
Claudio de la Riva
José A. Corrales
Published in:
The Spin Verification System (1996)
Keyphrases
</>
dynamic analysis
simulated annealing
experimental data
reverse engineering
static analysis
real world
database systems
relational databases
prior knowledge
probabilistic model
model selection
complex systems
model checking
statistical models