Neural Networks: A Comprehensive Foundation
Neural Networks: A Comprehensive Foundation
Connectionist inference models
Neural Networks
Neural-Symbolic Learning System: Foundations and Applications
Neural-Symbolic Learning System: Foundations and Applications
The Connectionist Inductive Learning and Logic Programming System
Applied Intelligence
Three problems in computer science
Journal of the ACM (JACM)
Improving the Encoding of LTL Model Checking into SAT
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
An Analysis-Revision Cycle to Evolve Requirements Specifications
Proceedings of the 16th IEEE international conference on Automated software engineering
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
Handbook of Temporal Reasoning in Artificial Intelligence (Foundations of Artificial Intelligence (Elsevier))
A survey of autonomic communications
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
The software model checker Blast: Applications to software engineering
International Journal on Software Tools for Technology Transfer (STTT)
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Automated Assume-Guarantee Reasoning by Abstraction Refinement
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Neural-Symbolic Cognitive Reasoning
Neural-Symbolic Cognitive Reasoning
Learning operational requirements from goal models
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Model checking: algorithmic verification and debugging
Communications of the ACM - Scratch Programming for All
A connectionist cognitive model for temporal synchronisation and learning
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Really Rethinking 'Formal Methods'
Computer
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
Towards an integrated approach for validating qualities of self-adaptive systems
Proceedings of the 2012 Workshop on Dynamic Analysis
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Hi-index | 0.00 |
In software development, formal verification plays an important role in improving the quality and safety of products and processes. Model checking is a successful approach to verification, used both in academic research and industrial applications. One important improvement regarding utilization of model checking is the development of automated processes to evolve models according to information obtained from verification. In this paper, we propose a new framework that make use of artificial intelligence and machine learning to generate and evolve models from partial descriptions and examples created by the model checking process. This was implemented as a tool that is integrated with a model checker. Our work extends model checking to be applicable when initial description of a system is not available, through observation of actual behaviour of this system. The framework is capable of integrated verification and evolution of abstract models, but also of reengineering partial models of a system.