A survey of recent advances in SAT-based formal verification - Concepedia

Concepedia

Publication | Closed Access

A survey of recent advances in SAT-based formal verification

271

Citations

77

References

2005

Year

Mukul R. Prasad, Armin Biere, Aarti Gupta

International Journal on Software Tools for Technology Transfer

EngineeringAutomated ReasoningSat-based Formal VerificationVerificationSat SolvingFormal MethodsComputer-aided VerificationSatisfiabilityComputer ScienceFormal Verification

References

	Year	Citations

Page 1