Executing temporal logic programs
Executing temporal logic programs
Development of a debugger for a concurrent language
IEEE Transactions on Software Engineering
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Verifying Concurrent Processes Using Temporal Logic
Verifying Concurrent Processes Using Temporal Logic
The Temporal Semantics of Concurrent Programs
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A knowledge-based system for debugging concurrent software (ada, temporal logic)
A knowledge-based system for debugging concurrent software (ada, temporal logic)
A knowledge-based system for debugging distributed programs
A knowledge-based system for debugging distributed programs
Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs
IEEE Transactions on Software Engineering
A tool for layered analysing and understanding of distributed programs
Computer Communications
| Hi-index | 0.00 |
DEBL provides a uniform, rigorous, and programming-language-independent environment for distributed program specification and debugging.