Cited By
View all- Drăgan IIuhasz GPetcu D(2019)A Scalable Platform for Monitoring Data Intensive ApplicationsJournal of Grid Computing10.1007/s10723-019-09483-117:3(503-528)Online publication date: 1-Sep-2019
Formal methods have a great potential of application in the development of industrial critical systems. In certain application fields, formal methods are even becoming part of standards. Among formal methods, Model Checking is proving particularly ...
Service-based applications are often developed as compositions of partner services. A service integrator needs precise methods to specify the quality attributes expected by each partner service, as well as effective techniques to verify these ...
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic technique for model-checking trace-based information flow properties for ...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in