Publication | Closed Access
Evaluation of verification tools for knowledge-based systems
30
Citations
15
References
1997
Year
Knowledge RepresentationEngineeringAutomated ReasoningMechanical VerificationSoftware TestingVerificationFormal MethodsSoftware AnalysisSystems EngineeringVerification ToolsComputer ScienceModel VerificationFormal VerificationSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1