Skip to content

README.md

Latest commit

 

History

History
2 lines (2 loc) · 231 Bytes

README.md

File metadata and controls

2 lines (2 loc) · 231 Bytes
Raw

CS2800

Software specification techniques, and the language LSL a superset of ISL supported by Racket. Writing properties down as code and then using random generation to exercise those properties. -> Property Based Testing (PBT)