Login / Signup
Towards Test Purpose Generation from CTL Properties for Reactive Systems.
Daniel Aguiar da Silva
Patrícia D. L. Machado
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
reactive systems
model checking
temporal logic
temporal properties
transition systems
computation tree logic
databases
artificial intelligence
web services
database systems
linear temporal logic
alternating time temporal logic