Automating Verification by Functional Abstraction at the System Level

• Authors:

• Klaus Schneider;Ramayya Kumar;Thomas Kropf

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications
• Year:
• 1994