Update README.md

prosyslab-classroom · Aug 27, 2023 · d8e407e · d8e407e
1 parent 1b1648c
commit d8e407e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -11,10 +11,10 @@
 - Location: N1 111
 
 ## Course Description
-The main theme of this course is __"the relationship between specification and program"__ for safe and reliable software.
+The main theme of this course is __"the relationship between specification and implementation"__ for safe and reliable software.
 This course will cover two topics under the theme:
-1. **program verification**: how to automatically _prove_ whether a given program satisfies the specification,
-2. **program synthesis**: how to automatically _generate_ a program that satisfies the specification.
+1. **program verification**: how to automatically _prove_ whether a given implementation satisfies the specification,
+2. **program synthesis**: how to automatically _generate_ an implementation that satisfies the specification.
 
 Students will learn theories and practices of program verification and synthesis through lectures, and assignments.