From 15631cd5aa2b1e01def492e8fefe6d98dbab979e Mon Sep 17 00:00:00 2001 From: Gethin Norman Date: Fri, 5 Dec 2008 12:07:54 +0000 Subject: [PATCH] forgot to add property file git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@850 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/firewire/impl/expected.pctl | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 prism-examples/firewire/impl/expected.pctl diff --git a/prism-examples/firewire/impl/expected.pctl b/prism-examples/firewire/impl/expected.pctl new file mode 100644 index 00000000..cc8914c8 --- /dev/null +++ b/prism-examples/firewire/impl/expected.pctl @@ -0,0 +1,4 @@ +// maximum expected time +R{"time"}max=?[F ((s1=8) & (s2=7)) | ((s1=7) & (s2=8)) ] +// maximum expected rounds +R{"time_sending"}max=?[F ((s1=8) & (s2=7)) | ((s1=7) & (s2=8)) ]