Skip to content
Snippets Groups Projects
Commit dadc3178 authored by Merlin Göttlinger's avatar Merlin Göttlinger
Browse files

Added name mapping

parent bfda2d6e
No related branches found
No related tags found
No related merge requests found
...@@ -5,3 +5,16 @@ ...@@ -5,3 +5,16 @@
** Modelchecking the example data ** Modelchecking the example data
Just use =NuSMV {yourexamplefile.smv}= 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 |
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment