Global guidance for local generalization in model checking

Hari Govind V K(Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti), Arie Gurfinkel(University of Waterloo)
Formal Methods in System Design
March 28, 2023
10.1007/s10703-023-00412-3
Cited by 6

Related Papers

No related papers found

Powered by citation graph analysis