{"identifier":"nobleid:/w1/20260521/AF1D08DF","arkIdentifier":"ark:/48914/w1/20260521/AF1D08DF","version":1,"workTitle":"An Iterative Framework for Simulation Conformance","workType":"Journal Article","authors":"Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith","description":null,"workUrl":null,"existingDoi":"10.1093/logcom/exi028","createdAt":"2026-05-21T11:42:20.729626Z","canonicalUrl":"https://nobleid.org/ark:/48914/w1/20260521/AF1D08DF.v1"}