Enhancing model checking in verification by AI techniques
Artificial Intelligence
Model checking
Model-Checking: A Tutorial Introduction
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
A logic-based agent that plans for extended reachability goals
Autonomous Agents and Multi-Agent Systems
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
CTL model update for system modifications
Journal of Artificial Intelligence Research
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Hi-index | 0.00 |
System designers are expected to use error-detecting and correcting techniques. Although, model checking approaches have been used for verification of errors in large complex systems, they can only detect the error. the task of correcting the system design (called model update) is completely left to the system designer. Recent works on model update can suggest changes in the system model which do not consider domain contingencies and constraints. In this paper, we present a model update approach that can be used to automatically suggest modifications in a system based on the actions that are behind state transitions and a set of domain constraints. We claim that with this approach we can develop more realistic system error-correcting tools.