Skip to content
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

Jump to bottom

List of test types #1

Open
ulriknyman opened this issue Mar 22, 2021 · 2 comments
Open

List of test types #1

ulriknyman opened this issue Mar 22, 2021 · 2 comments

Comments

@ulriknyman
Copy link

Refinement-identity: S ≤ S
Quotient rule: S || T ≤ X => S ≤ X \ T
Bisim-stable: Bisim(S) <=> Bisim(Bisim(S))
HSCC.Theorem6.part1, locally consistent S and T : S ∧ T ≤ S and S ∧ T ≤ T (∧ is the same as &&)
HSCC.Theorem6.part2, locally consistent S, U and T: (U ≤ S) and (U ≤ T ) implies U ≤ (S ∧T )
@seblund
Copy link
Member

seblund commented Jul 26, 2021 •
edited
Loading

Refinement transitivity: A ≤ B and B ≤ C implies A ≤ C

@ulriknyman
Copy link
Author

Order of operands doesn't matter (associativity)

A1 || A2 <= A2 || A1

A1 && A2 <= A2 && A1

t-lohse added a commit that referenced this issue Feb 12, 2024
@t-lohse @Aavild @williamwoldum
SW5 (#32)
8f20621 
* Update .gitmodules

* change config to take an array of args, replace 2nd arg with ip and port. Also improved README.md

* renamed parameterExpression -> parameters
Fixed so that {ip} and {port} can be used anywhere in parameters

* Protobuf submodule pointer update (#1)

* Updated protobuf submodule pointer

* Fixed dependency and result type error

* Fixed Results.kt and Plotting.kt

---------

Co-authored-by: Aavild <[email protected]>
Co-authored-by: aavild <[email protected]>
Co-authored-by: William Woldum <[email protected]>
@t-lohse t-lohse mentioned this issue Feb 12, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ulriknyman @seblund