Skip to main content

Ctrl+K

Rigor and Reasoning in Research Software (R3Sw)

Welcome

Chapter 1: Code and Fix
Chapter 2: Reasoning About Code
Chapter 3: Unit Testing
Chapter 4: Property-Based Testing
Chapter 5: Bounded Formal Verification
Closing Remarks: Climbing the Ladder of Rigor

Search

Ctrl+K

By Alper Altuntas, et al.

© Copyright 2025.