README.md: update title

[model-checker.git] / README.md

diff --git a/README.md b/README.md
index e020ad42a6592762a06ea4b611b240de506e4b91..20412954aa25363013c047c78eec67f6c4ef184c 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,5 +1,5 @@
-CDSChecker Readme
-=================
+CDSChecker: A Model Checker for C11 and C++11 Atomics
+=====================================================
 
 Copyright © 2013 Regents of the University of California. All rights reserved.