GitHub - angelorusc/Nuclear-Borst-Train: An Implementation with ADA for a Nuclear Train proved with SPARK, as a coursework for the Formal Approaches to Software Engineering module in 4th year

angelorusc / Nuclear-Borst-Train Public

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

An Implementation with ADA for a Nuclear Train proved with SPARK, as a coursework for the Formal Approaches to Software Engineering module in 4th year

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
gnatprove/carriages		gnatprove/carriages
obj		obj
src		src
.gitignore		.gitignore
train.gpr		train.gpr

About

An Implementation with ADA for a Nuclear Train proved with SPARK, as a coursework for the Formal Approaches to Software Engineering module in 4th year

spark ada formal-verification

Activity

0 stars

1 watching

0 forks

Report repository