Publication | Open Access
Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems
15
Citations
9
References
2010
Year
EngineeringMultimedia Signal ProcessingAutomated ReasoningProgram AnalysisMechanical VerificationVerificationComputer EngineeringFormal MethodsSystems EngineeringComputer-aided VerificationEquivalence CheckingComputer ScienceModel CheckingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1