Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
DIVINE/divine-3.3.2 2		DIVINE/divine-3.3.2 2
GOAL/GOAL.app/Contents		GOAL/GOAL.app/Contents
MODEST/Modest		MODEST/Modest
PRISM		PRISM
PresentationSPOT		PresentationSPOT
REDLIB		REDLIB
ROMEO		ROMEO
Spin		Spin
TAPAAL/essai1		TAPAAL/essai1
UPPAAL SMC		UPPAAL SMC
Chapter_1_handout.pdf		Chapter_1_handout.pdf
Chapter_2_handout.pdf		Chapter_2_handout.pdf
Cours2.txt		Cours2.txt
Live Demo		Live Demo
PresentationFINAL.html		PresentationFINAL.html
PresentationFINAL.ipynb		PresentationFINAL.ipynb
README.md		README.md
SPOT v3.8.335.xlsb		SPOT v3.8.335.xlsb
SpendandoutcometoolSPOTUseofSPOT.pptx		SpendandoutcometoolSPOTUseofSPOT.pptx
TP1.pdf		TP1.pdf
schema.png		schema.png
schema.psd		schema.psd
schema2.png		schema2.png
schema2.psd		schema2.psd
spin645_windows32.exe		spin645_windows32.exe

Repository files navigation

EmbeddedAndVerification

About

Quickk repo for verification project

Report repository

Releases

No releases published

Packages

No packages published

Languages