Formal Semantics and Verification for Feature Modeling.

Jing Sun Hongyu Zhang Yuan-Fang Li Hai H. Wang

Published in: ICECCS (2005)

Keyphrases

formal semantics
modeling language
er model
formal language
logical reasoning
operational semantics
logical language
high level
modelling language
case study
multi agent systems
computational complexity
open source
model checking
theorem prover
multi agent
epistemic logic