Enhancing model checking in verification by AI techniques
Artificial Intelligence
Software Design Methods for Concurrent and Real-Time Systems
Software Design Methods for Concurrent and Real-Time Systems
Knowledge updates: semantics and complexity issues
Artificial Intelligence
The Definitive ANTLR Reference: Building Domain-Specific Languages
The Definitive ANTLR Reference: Building Domain-Specific Languages
CTL Model Update: Semantics, Computations and Implementation
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Hi-index | 0.00 |
The model checkers are tools which can be used to verify that a given system satisfies a given temporal logic formula. In this paper is presented an algorithm which implements a CTL model updater towards the development of an automatic model modification tool and is illustrated a case study by applying the model update to the elevator control scenario, using for the implementation of the formula grammar the ANTLR (Another Tool for Language Recognition) instruments.