Distributed bounded model checking
Crossref DOI link: https://doi.org/10.1007/s10703-021-00385-1
Published Online: 2022-01-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Chatterjee, Prantik
Roy, Subhajit
Diep, Bui Phi
Lal, Akash
Text and Data Mining valid from 2022-01-05
Version of Record valid from 2022-01-05
Article History
Received: 3 March 2021
Accepted: 9 December 2021
First Online: 5 January 2022