Updating logical databases
Model checking software systems: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Enhancing model checking in verification by AI techniques
Artificial Intelligence
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Knowledge updates: semantics and complexity issues
Artificial Intelligence
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Implementation of CTL model checker update
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
CTL model update for system modifications
Journal of Artificial Intelligence Research
CTL model update implementation using ANTLR tools
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
An optimised algorithm to tackle the model explosion problem in CTL model update
PRICAI'10 Proceedings of the 11th Pacific Rim international conference on Trends in artificial intelligence
Action-based discovery of satisfying subsets: A distributed method for model correction
Information and Software Technology
| Hi-index | 0.00 |
Minimal change is a fundamental principle for modeling system dynamics. In this paper, we study the issue of minimal change for Computational Tree Logic (CTL) model update. We first propose five primitive operations which capture the basic update of the CTL model, and then define the minimal change criteria for CTL model update based on these primitive operations. We provide essential semantic and computational characterizations for our CTL model update approach. We develop a formal algorithm to implement this update that employs the underlying minimal change principle. We also present a CTL model update example using the well known microwave oven scenario.