Specifying, programming and verifying real-time systems using a synchronous declarative language

Authors:
N. Halbwachs;D. Pilaud;F. Ouabdesselam;A-C. Glory
Affiliations:
-;-;-;-
Venue:
Proceedings of the international workshop on Automatic verification methods for finite state systems
Year:
1990

Specification-based testing of synchronous software

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols

IEEE Transactions on Software Engineering
Feature Interaction Detection Using Testing and Model-Checking Experience Report

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Formal Approach to Testing Lustre Specifications

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

Hi-index	0.00