SDVS: a system for verifying microcode correctness

• Authors:

• Leo Marcus;Stephen D. Crocker;Jaisook R. Landauer

• Affiliations:

• The Aerospace Corporation;The Aerospace Corporation;The Aerospace Corporation

• Venue:
• ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
• Year:
• 1985