Journal of Automated Reasoning · 1989 · 63 citations · 0 references
ComputingComputer EngineeringComputer ScienceComputer ArchitectureFormal MethodsTheory Of ComputationDeductive VerificationHardware Modeling For Digital SystemsHardware SpecificationModel CheckingTheorem ProvingVerificationFormal Hardware VerificationHardware Model CheckingHardware Verification