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)

Name		Name	Last commit message	Last commit date
Exam1.rkt		Exam1.rkt
Exam2.rkt		Exam2.rkt
Exam3.rkt		Exam3.rkt
LogicHW10B.rkt		LogicHW10B.rkt
LogicHW11A.rkt		LogicHW11A.rkt
LogicHW11B.rkt		LogicHW11B.rkt
LogicHW12A.rkt		LogicHW12A.rkt
LogicHW12B.rkt		LogicHW12B.rkt
LogicHW2A.rkt		LogicHW2A.rkt
LogicHW2B.rkt		LogicHW2B.rkt
LogicHW3A.rkt		LogicHW3A.rkt
LogicHW3B.rkt		LogicHW3B.rkt
LogicHW4A.rkt		LogicHW4A.rkt
LogicHW5A.rkt		LogicHW5A.rkt
LogicHW5B.rkt		LogicHW5B.rkt
LogicHW6A.rkt		LogicHW6A.rkt
LogicHW6B.rkt		LogicHW6B.rkt
LogicHW7A.rkt		LogicHW7A.rkt
LogicHW7B.rkt		LogicHW7B.rkt
LogicHW8A.rkt		LogicHW8A.rkt
LogicHW9B.rkt		LogicHW9B.rkt
LogicLecture18.rkt		LogicLecture18.rkt
LogicLecture19.rkt		LogicLecture19.rkt
LogicLecture28.rkt		LogicLecture28.rkt
LogicLecture29.rkt		LogicLecture29.rkt
README.md		README.md

Navigation Menu

Repository navigation

About

Repository files navigation

CS2800

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

CS2800

About

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages