Skip to content

Model check #28

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 9 commits into
base: main
Choose a base branch
from
Open

Model check #28

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
2c558ff
First commit
LukasBuecherl May 9, 2023
0d5f5f6
First changes
LukasBuecherl May 15, 2023
379779b
Updated models
LukasBuecherl May 17, 2023
80e7116
Working models
LukasBuecherl Jun 20, 2023
5874ae1
Only working models
LukasBuecherl Jun 20, 2023
7e590b2
Only working 0x8E models
LukasBuecherl Jun 20, 2023
96b5001
jani models added
Jun 26, 2023
cbb7b3e
Merge pull request #27 from fluentverification/ModelCheck-jani
LukasBuecherl Jun 27, 2023
ecd917f
Add Parameter Exploration Project (Lukas, Zhen)
LukasBuecherl Aug 28, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 0 additions & 2 deletions Benchmarks/PRISM/Polling/Polling_N_12/polling_T_10_N_12.csl
View file
Open in desktop

This file was deleted.

90 changes: 0 additions & 90 deletions Benchmarks/PRISM/Polling/Polling_N_12/polling_T_10_N_12.prism
View file
Open in desktop

This file was deleted.

2 changes: 0 additions & 2 deletions Benchmarks/PRISM/Polling/Polling_N_16/polling_T_10_N_16.csl
View file
Open in desktop

This file was deleted.

110 changes: 0 additions & 110 deletions Benchmarks/PRISM/Polling/Polling_N_16/polling_T_10_N_16.prism
View file
Open in desktop

This file was deleted.

2 changes: 0 additions & 2 deletions Benchmarks/PRISM/Polling/Polling_N_20/polling_T_10_N_20.csl
View file
Open in desktop

This file was deleted.

130 changes: 0 additions & 130 deletions Benchmarks/PRISM/Polling/Polling_N_20/polling_T_10_N_20.prism
View file
Open in desktop

This file was deleted.

20 changes: 0 additions & 20 deletions Benchmarks/PRISM/README.md
View file
Open in desktop

This file was deleted.

Loading