Relative Correctness of Real-Time Systems

Related Papers

• → “So my program doesn’t run!” Definition, origins, and practical expressions of students’ (mis)conceptions of correctness(2008)28 cited
• → A Fault-Localization Approach Based on the Coincidental Correctness Probability(2015)6 cited
• → Program Repair by Stepwise Correctness Enhancement(2016)3 cited
• Susquehanna Chorale Spring Concert "Roots and Wings"(2017)
• → Relative Correctness of Real-Time Systems(1992)