mondokz / ca Public

forked from ftsrg-cs/ca

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

Lecture notes for the Critical Architectures Laboratory

0 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 42 Commits
handouts		handouts
hw3-smt		hw3-smt
monitoring-data-analysis		monitoring-data-analysis
program-verification-1		program-verification-1
program-verification-2		program-verification-2
README.md		README.md
alloy4.2.jar		alloy4.2.jar

Repository files navigation

Critical Architectures Laboratory

The course material is available on the Moodle page of the course.

About

Lecture notes for the Critical Architectures Laboratory

Report repository

Releases

No releases published

Packages

No packages published

Languages

Jupyter Notebook 52.6%
Java 45.7%
Kotlin 1.7%