Verification of Non-functional Requirements Using Formal Semantics.

Danielle Gaither

Published in: MoDELS (Satellite Events) (2017)

Keyphrases

formal semantics
logical language
model checking
modeling language
er model
modelling language
operational semantics
ontology languages
formal language
theorem prover
formal verification
first order logic
logical reasoning
integrity constraints
source code
artificial intelligence
database