VarshaRagavendran / 4312-assignment Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

This repository holds a requirements document for an Isolette system. The requirements were proven complete using a theorem prover (PVS - Specification & Verification System)

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
Latex		Latex
function-tables		function-tables
pvs		pvs
README.md		README.md
isolette-assign.pdf		isolette-assign.pdf

Repository files navigation

4312-assignment

Isolette assignment

About

This repository holds a requirements document for an Isolette system. The requirements were proven complete using a theorem prover (PVS - Specification & Verification System)

pvs

Readme

Activity

0 stars

2 watching

0 forks

Report repository