SYNVER

• 1 January 1974
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 167-173
• https://doi.org/10.1145/800182.810398

Abstract

Keywords

• ASSERTIONS
• AUTOMATIC SYNTHESIS
• SYNCHRONIZATION
• VERIFICATION