Specifications

2 articles

• Property-Based Testing: Power and Limits3 min read

  Property-based testing (PBT), popularized by QuickCheck in Haskell in the late 1990s, reverses the traditional approach to unit testing.

• Refinement and Dependent Types: Towards Types That Prove3 min read

  Beyond classical typing, certain systems allow encoding finer properties. The compiler then becomes a proof assistant, enabling enforcement of even more precise business invariants.