Static Analysis to Identify Invariants in RSML Specifications

Authors:
David Y. W. Park;Jens U. Skakkebæk;David L. Dill
Affiliations:
-;-;-
Venue:
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Year:
1998

Automatic generation of state invariants from requirements specifications

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Formal specification: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Verification of Hierarchical State/Event Systems using Reusability and Compositionality

Formal Methods in System Design
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Requirements interaction management

ACM Computing Surveys (CSUR)

Hi-index	0.00