ACM Computing Surveys (CSUR)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Runtime and description of deadness errors in ADA tasking
Runtime and description of deadness errors in ADA tasking
An environment for Ada software development based on formal specification
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
DEBL: a knowledge-based language for specifying and debugging distributed programs
Communications of the ACM - Special issue: multiprocessing
APE—a set of TEX macros to format Ada programs
ACM SIGAda Ada Letters
Testing the correctness of tasking supervisors with TSL specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
DEBL: a knowledge-based language for specifying and debugging programs
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
ACM Computing Surveys (CSUR)
Testing races in parallel programs with an OtOt strategy
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
The Ada-IDAS project monitoring task states
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
An approach to testing concurrent Ada programs
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
Specifying Concurrent Systems with TSL
IEEE Software
Hi-index | 0.00 |
TSL is a language for specifying sequences of tasking events in Ada1 programs. TSL specifications are submitted with an Ada program and are monitored at runtime for consistency with the actual tasking events as they occur. This paper presents a preliminary design for TSL, an informal overview of its capabilities, and an operational semantics.