Publication | Closed Access
Who checks the checkers? Four validation tools applied to eight atomic resolution structures
103
Citations
42
References
1998
Year
EngineeringPhysicsMechanical VerificationValidation ToolsSoftware TestingVerificationAtomic Resolution StructuresComputer EngineeringAtomic PhysicsFormal MethodsComputer-aided VerificationComputer ScienceModel CheckingModel VerificationFormal VerificationFunctional Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1