A Method for Model Checking Feature Interactions.

Thomas Pedersen Thibaut Le Guilly Anders P. Ravn Arne Skou

Published in: ICSOFT-EA (2015)

Keyphrases

model checking
verification method
artificial intelligence
computational complexity
temporal logic
formal specification
multi agent
formal verification