Published October 30, 2021
| Version 3
Dataset
Open
mCRL2 models, requirements and test logs for the EULYNX Point interface case study
Creators
- 1. Eindhoven University of Technology
- 2. University of Twente
Description
mCRL2 models and mu-calculus formulas for the EULYNX Point Interface. Models and requirements are made in the context of the FormaSig project. Data is made available for replication purposes.
REQ_P_001, REQ_P_001_1 and REQ_P_002 are requirements for the point specific mCRL2 model point_spec.mcrl2
Remaining .mcf files are requirements for the generic PDI interface pdi_spec.mcrl2
Artifacts relating to testing are:
- An mCRL2 model, mbt.mcrl2
- A rename file to rename internal actions to tau, rename_file.re
- Partial state space associated to mbt.mcrl2, partial_state_space.aut
- The weak-trace bisim reduced version of the state space, partial_state_space_reduced.aut
- Testing logs, test-logs.zip
- The source code of the simulator and the testing tools, Simulator code.zip
Files
Simulator code.zip
Files
(42.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1329d896f8c8e11134984102ec06b4ba
|
193.4 kB | Download |
|
md5:127dfb85ba9dc35631bda41760ed1fc1
|
31.2 MB | Download |
|
md5:2dd94ffee20185b53bdd7e2b8d1d3898
|
53.0 kB | Download |
|
md5:1866160d270b3ea14fa1160e2738f984
|
135.9 kB | Download |
|
md5:17fe29532a07046ba81983db2eea9678
|
118.5 kB | Download |
|
md5:a7dd8c309f9c95672e0fff0366943eb0
|
8.4 kB | Download |
|
md5:7f551956e2c7d72f93b7d4260578f019
|
1.3 kB | Download |
|
md5:170e0de1e0bdc39e2239852fc8824e4d
|
1.2 kB | Download |
|
md5:80bb1879e461242f19d0f9556e6b20f3
|
1.8 kB | Download |
|
md5:6c7f734d85057b7965d23d46018fb0fd
|
656 Bytes | Download |
|
md5:751c884b8547b79ad0a741c0a6370cb2
|
598 Bytes | Download |
|
md5:4162b9af0368e4fbdb509416324bdd32
|
462 Bytes | Download |
|
md5:f9470ee2b4cd4e5c82fc528de7afae6a
|
489 Bytes | Download |
|
md5:4e1dc4c9f3b89aebc53e37ef6c3bf8f4
|
952 Bytes | Download |
|
md5:4e18ddcb62d9ffc5e95ca56bd74103dd
|
620 Bytes | Download |
|
md5:4e18ddcb62d9ffc5e95ca56bd74103dd
|
620 Bytes | Download |
|
md5:273b3841033bf07b0c94da17846f842a
|
295 Bytes | Download |
|
md5:4894c3e4fe60ae0b8f36ddfed52cf5ca
|
498 Bytes | Download |
|
md5:091a76d1f756a77da147ac3f850fd4f3
|
8.3 MB | Preview Download |
|
md5:8effb8ef666ad4e5b8dedb4c9a524c6e
|
2.0 MB | Preview Download |