Merge branch 'master' of github.com:codelion/SpinR

codelion · Oct 3, 2013 · 675d255 · 675d255
2 parents 7e91259 + bf5da1c
commit 675d255
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -12,3 +12,12 @@ Usage
 ./spinr filename.pml
 
 Will refine the Promela model filename.pml to a C implementation filename.pml.c 
+
+Publications
+------------
+
+A Refinement Calculus for Promela, ICECCS 2013
+
+[End to End Verification and Validation with SPIN] (http://arxiv.org/abs/1302.4796), CoRR 2013
+
+Towards a Verified Cardiac Pacemaker, Technical Report NUS 2010