Publication | Closed Access
Mechanized Verification of Circuit Descriptions Using the Larch Prover
12
Citations
0
References
1992
Year
Unknown Venue
EngineeringAutomated ReasoningMechanical VerificationVerificationComputer EngineeringFormal MethodsSoftware AnalysisAutomated ProofComputer-aided VerificationComputer ScienceFormal VerificationMechanized Verification
No additional data available for this publication yet. Check back later!