Model checking
Results on the Propositional µ-Calculus
Proceedings of the 9th Colloquium on Automata, Languages and Programming
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Autonomic Computing
Principles of Model Checking (Representation and Mind Series)
Principles of Model Checking (Representation and Mind Series)
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL
SMC-IT '09 Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology
Towards a framework for specification and code generation of automatic systems
Towards a framework for specification and code generation of automatic systems
ASSL - Autonomic System Specification Language: A Framework for Specification and Code Generation of Autonomic Systems
| Hi-index | 0.00 |
The Autonomic System Specification Language (ASSL) is a formal method dedicated to autonomic computing, and as such, assists developers with formal specification, validation and code generation of autonomic systems. Due to the synthesis approach of automatic code generation, ASSL guarantees consistency between a specification and the corresponding implementation. Moreover, one of the major objectives of the framework is to assure the correctness of autonomic systems via the inclusion of tools targeting model checking. In this paper, we report our experience in developing model-checking mechanisms for ASSL.