From dadc3178a567be14552ad7ca1a0c000202bcbd2c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Merlin=20G=C3=B6ttlinger?= <mgttlinger@gmail.com> Date: Tue, 1 Aug 2017 08:23:57 +0200 Subject: [PATCH] Added name mapping --- Readme.org | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/Readme.org b/Readme.org index 30c7311..464a1a9 100644 --- a/Readme.org +++ b/Readme.org @@ -5,3 +5,16 @@ ** Modelchecking the example data Just use =NuSMV {yourexamplefile.smv}= + +** Examples used in the paper + | Name in paper | Make target | + |-----------------+---------------------------------------| + | bcc1-resource1j | bcc1_resource1j | + | bcc1-sse1c | bcc1_sse1c | + | ecc1-bt1g | ecc1_bt1g | + | ecc1-event1e | ecc1_event1e | + | bcc1-isr2d | bcc1_isr2d | + | timing-abcomp | bench-timing-aborted_computation | + | copter-small | bench-coptermock-without-alarms-small | + | copter | bench-coptermock-without-alarms | + -- GitLab