ACL2 Support for Verification Projects (Invited Talk).

Published in: CADE (1998)

Keyphrases

invited talk
end users
knowledge management
database
databases
information systems
web services
case study
software development
model checking
signature verification