Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying message passing systems requires extending temporal logic
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Extending Ina Jo with Temporal Logic
IEEE Transactions on Software Engineering
DEBL: a knowledge-based language for specifying and debugging distributed programs
Communications of the ACM - Special issue: multiprocessing
Tentative steps toward a development method for interfering programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Language Constructs for Specifying Concurrency in CDL
IEEE Transactions on Software Engineering
DEBL: a knowledge-based language for specifying and debugging programs
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Critical Races in Ada Programs
IEEE Transactions on Software Engineering
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
An object-based programming model for shared data
ACM Transactions on Programming Languages and Systems (TOPLAS)
Systematic concurrent object-oriented programming
Communications of the ACM
The verification of cache coherence protocols
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
Extending Statecharts with Temporal Logic
IEEE Transactions on Software Engineering
What it means for a concurrent program to satisfy a specification: why no one has specified priority
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ICSE '85 Proceedings of the 8th international conference on Software engineering
An overview and example of application of CAEDE: a new, experimental design environment for Ada
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Proving Failure-Free Properties of Concurrent Systems Using Temporal Logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Temporal resolution using a breadth-first search
Annals of Mathematics and Artificial Intelligence
A New Approach for the Verification of Cache Coherence Protocols
IEEE Transactions on Parallel and Distributed Systems
A method of automatic proof for the specification and verification of protocols
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
The NIL distributed systems programming language: a status report
ACM SIGPLAN Notices
A formal specification and verification method for the prevention of denial of service
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
| Hi-index | 0.02 |