Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

AJupiter: Check the Correctness of AJupiter #41

Open
3 tasks
hengxin opened this issue Dec 19, 2018 · 0 comments
Open
3 tasks

AJupiter: Check the Correctness of AJupiter #41

hengxin opened this issue Dec 19, 2018 · 0 comments
Assignees
@hengxin @tangruize
Labels
bug priority:high with high priority question todo TODO

Comments

@hengxin
Copy link
Owner

hengxin commented Dec 19, 2018 •
edited
Loading

Problem: The number of states generated by AJupiter is not equal to those generated by AbsJupiter/CJupiter/XJupiter

Possible Reasons:

  • Should they be equal?
    • Evidence: AJupiterExtended and AJupiterImplCJupiter also generated different numbers of states.
      Note that the number of states generated by AJupiterImplCJupiter is equal to those generated by other Jupiter protocols.
    • To test: Write a module which only describes the C/S interaction with all inner transitions as UNCHANGED
@hengxin hengxin self-assigned this Dec 19, 2018
@hengxin hengxin added the priority:high with high priority label Dec 19, 2018
@hengxin hengxin pinned this issue Dec 31, 2018
@hengxin hengxin unpinned this issue Feb 1, 2019
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@hengxin hengxin

@tangruize tangruize

Labels
bug priority:high with high priority question todo TODO
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@hengxin @tangruize