Looper

MaRDI QIDQ31316swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1747517

Cited in

(12)

• From invariant checking to invariant inference using randomized search
• Convergence: integrating termination and abort-freedom
• Combining model checking and testing
• CalFuzzer
• ADL
• ConTest
• CalcCheck
• HERMIT
• Snugglebug
• VS3
• CATG
• Con2colic

This page was built for software: Looper