A logic-based calculus of events
New Generation Computing
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Proceedings of the 17th international conference on Software engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Model checking
Proceedings of the 1999 international conference on Logic programming
Formal verification of parallel programs
Communications of the ACM
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering
Fluent model checking for event-based systems
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Deriving non-Zeno behaviour models from goal models using ILP
Formal Aspects of Computing
Hi-index | 0.00 |
Inductive Logic Programming can be used to provide automated support to help correct the errors identified by model checking, which in turn provides the relevant context for learning hypotheses that are meaningful within the domain of interest. Model checking and Inductive Logic Programming can thus be seen as two complementary approaches with much to gain from their integration. In this paper we present a general framework for such an integration, discuss its main characteristics and present an overview of its application.