JNuke

MaRDI QIDQ40096swMATHFDO

Official website https://rd.springer.com/chapter/10.1007/978-3-540-27813-9_37

Described by source

• Computer Aided Verification

Cited in

(4)

• Model checking of concurrent algorithms: from Java to C
• Combining test case generation and runtime verification
• Bogor
• TGV

This page was built for software: JNuke