Publication | Closed Access
Consistency checking and visualization of OCL constraints
60
Citations
7
References
2000
Year
Mathematical ProgrammingConstraint SolvingFormal SpecificationEngineeringProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware AnalysisComputer-aided VerificationComputer ScienceFormal VerificationConsistency Checking
| Year | Citations | |
|---|---|---|
Page 1
Page 1