Merge pull request #171 from d702e20/name-change-readme

Simple update to README.md
d702e20 · May 27, 2021 · 0561549 · 0561549
2 parents 4c04e47 + 11f3875
commit 0561549
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,10 +1,10 @@
-# atl-checker
+# CGAAL
 
 This application can do model checking of alternating-time temporal logic (ATL) on concurrent game structures (CGSs).
 It uses an on-the-fly evaluation method as opposed to calculating the fixed point like PRISM does.
 With this lazy method we avoid generating the whole graph, and it is therefore an order of magnitude faster in most cases.
 
-The ATL-checker also uses a custom language to describe CGSs in a lazy manner. We call it LCGS and
+CGAAL also uses a custom language to describe CGSs in a lazy manner. We call it LCGS and
 its syntax is inspired by PRISM-lang, however, the concepts of synchronization and modules are very different.  
 
 ## Example of how to use