Publication | Closed Access
RuleBase
123
Citations
8
References
1996
Year
Unknown Venue
Formal Verification ToolPractical Formal VerificationEngineeringHardware Verification LanguageVerificationComputer-aided VerificationFormal VerificationSoftware AnalysisHardware Verification LanguagesHardware SecurityMechanical VerificationSystems EngineeringFormal TechniqueHardware VerificationComputer EngineeringComputer ScienceUsage ExperienceSoftware VerificationAutomated ReasoningProgram AnalysisSoftware TestingFormal MethodsSystem Software
RuleBase is a formal verification tool, developed by the IBM Haifa Research Laboratory. It is the result of three years of experience in practical formal verification of hardware which, we believe, has been a key factor in bringing the tool to its current level of maturity. We present the tool, including several unique features, and summarize our usage experience.
| Year | Citations | |
|---|---|---|
Page 1
Page 1