Login / Signup
A Formal Model for Natural-Language Timed Requirements of Reactive Systems.
Gustavo Carvalho
Ana Carvalho
Eduardo Rocha
Ana Cavalcanti
Augusto Sampaio
Published in:
ICFEM (2014)
Keyphrases
</>
formal model
reactive systems
petri net
natural language
real time systems
model checking
temporal logic
formal methods
machine learning
formal models
security properties
predicate calculus
finite state machines
control flow
information flow
case study
distributed systems
expert systems
multi agent systems