An experiment in high level language microprogramming and verification
Communications of the ACM
A Report On The Development Of Gypsy
ACM '78 Proceedings of the 1978 annual conference
SIGSOFT tutorial on program verification (Tutorial Session)
ACM '76 Proceedings of the 1976 annual conference
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
A verifiable protection system
Proceedings of the international conference on Reliable software
Proceedings of the international conference on Reliable software
An interactive program verification system
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Classics in software engineering
Strum: Structured Microprogram Development System for Correct Firmware
IEEE Transactions on Computers
IEEE Transactions on Computers
Verifiable secure operating system software
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
Provable programs and processors
AFIPS '74 Proceedings of the May 6-10, 1974, national computer conference and exposition
A security policy for a profile-oriented operating system
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Hi-index | 0.02 |