From 11f38751af87a67860c2f8908e40e6fe09286a6f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Asger=20Geel=20Weirs=C3=B8e?= Date: Thu, 27 May 2021 09:41:50 +0200 Subject: [PATCH] Update README.md Updates readme from ATL-checker -> CGAAL --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 460c396ac..69927dc56 100644 --- 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