Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study.

Faiez Zalila Xavier Crégut Marc Pantel

Published in: ISoLA (2) (2012)

Keyphrases

formal verification
case study
end users
artificial intelligence
user interface
process model
development process
automated verification
social media
open source
first order logic
model checking
user experience
web interface
business process modeling
working environment