MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits

• Authors:

• Alexandre Bronstein

• Affiliations:

• Stanford Univ., Stanford, CA

• Venue:
• MLP: string-functional semantics and Boyer-Moore mechanization for the formal verification of synchronous circuits
• Year:
• 1990