From e4f1c21899b3b6952f4b5a6f34ecb70e0e1bd9c6 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Dec 2008 12:38:29 +0000 Subject: [PATCH] CSMA README file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@891 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/csma/README | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/prism-examples/csma/README b/prism-examples/csma/README index 59aaf063..42799ee0 100644 --- a/prism-examples/csma/README +++ b/prism-examples/csma/README @@ -1,9 +1,9 @@ This case study concerns the IEEE 802.3 CSMA/CD (Carrier Sense, Multiple Access with Collision Detection) protocol -model files csmaK_N.nm -specification files: csmaK.pctl +model files csmaN_K.nm +property file: csma.pctl -where K is the maximum backoff and N is the number of stations +where N is the number of stations and K is the maximum backoff For more information on the probabilistic timed automata see: http://www.prismmodelchecker.org/casestudies/csma.php