Using CTL model checker for verification of domain application systems

Authors:
Laura Florentina Cacovean
Affiliations:
Department of Computer Science, Lucian Blaga University of Sibiu, Faculty of Sciences, Sibiu, Romania
Venue:
NN'10/EC'10/FS'10 Proceedings of the 11th WSEAS international conference on nural networks and 11th WSEAS international conference on evolutionary computing and 11th WSEAS international conference on Fuzzy systems
Year:
2010

Citing 4
Cited 1

Logic in computer science: modelling and reasoning about systems

Logic in computer science: modelling and reasoning about systems
Model-Integrated Computing

Computer
Application Driven Software Development

ICSEA '06 Proceedings of the International Conference on Software Engineering Advances
An application CTL formula based on problem solving methodology

ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers

A new model checking tool

ECC'11 Proceedings of the 5th European conference on European computing conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

Application driven software methodology for the execution of domain solutions is a two step process: translation and interpretation. SADL is a process-description language used in application driven software to represent domain solutions in an intermediate form. In this paper we present a method for integrating the CTL model checking technology and SADL to prove the correctness of generated computing processes that execute the algorithms expressed in SADL. This approach is applied in domain of Web applications.