From b91b6fc9741f219590f55e3de791db57f4750e25 Mon Sep 17 00:00:00 2001 From: codelion Date: Sat, 20 Apr 2013 17:05:32 +0800 Subject: [PATCH 1/3] Update README.md --- README.md | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/README.md b/README.md index bab2c5d..e54c490 100644 --- 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 (to appear) + +[End to End Verification and Validation with SPIN] (http://arxiv.org/abs/1302.4798), CoRR 2013 + +Towards a Verified Cardiac Pacemaker, Technical Report NUS 2010 [Details] (http://www.comp.nus.edu.sg/~asankhs/research.html) From d32243ec596f8bffecd230afc58b0c72306e3958 Mon Sep 17 00:00:00 2001 From: codelion Date: Wed, 19 Jun 2013 17:49:55 +0900 Subject: [PATCH 2/3] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index e54c490..fc65c7d 100644 --- a/README.md +++ b/README.md @@ -18,6 +18,6 @@ Publications A Refinement Calculus for Promela, ICECCS 2013 (to appear) -[End to End Verification and Validation with SPIN] (http://arxiv.org/abs/1302.4798), CoRR 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 [Details] (http://www.comp.nus.edu.sg/~asankhs/research.html) From bf5da1c53fba038d2e5007e3bc1eb091ae797463 Mon Sep 17 00:00:00 2001 From: codelion Date: Thu, 25 Jul 2013 17:47:47 +0800 Subject: [PATCH 3/3] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index fc65c7d..57ad8a4 100644 --- a/README.md +++ b/README.md @@ -16,8 +16,8 @@ Will refine the Promela model filename.pml to a C implementation filename.pml.c Publications ------------ -A Refinement Calculus for Promela, ICECCS 2013 (to appear) +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 [Details] (http://www.comp.nus.edu.sg/~asankhs/research.html) +Towards a Verified Cardiac Pacemaker, Technical Report NUS 2010