Login / Signup
FAUST: Formal Analysis Using Specification Tools.
André Rifaut
Philippe Massonet
Jean-François Molderez
Christophe Ponsard
Pierre Stadnik
Axel van Lamsweerde
Hung Tran Van
Published in:
RE (2003)
Keyphrases
</>
formal analysis
formal methods
formal specification
model checking
ban logic
web services
knowledge based systems
tool suite
artificial intelligence
information systems
knowledge base
end users
software engineering
decision support
modelling language