Back to Search
Start Over
A Bounded Semantics for Improving the Efficiency of Bounded Model Checking
- Source :
- 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS).
- Publication Year :
- 2022
- Publisher :
- IEEE, 2022.
Details
- Database :
- OpenAIRE
- Journal :
- 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS)
- Accession number :
- edsair.doi...........5d9bb32985014fb4d8e130ffd909c88a