Skip to content

Commit 0da0665

Browse files
SkantzSkantz
authored
Update README.md
1 parent 56808e6 commit 0da0665

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

Diff for: ‎README.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
# formal-methods
22
KTH Royal Institute of Technology DD2452
33

4-
Formal methods. Assignments.
4+
Formal methods.
55

6+
This repository contains exercises in Frama-C and NuSMV.
67

7-
tabsxxx.c : frama-c exercises.

0 commit comments

Comments
 (0)