Skip to content

IA-Toolset 1.0.1

Latest
Latest
Compare
Choose a tag to compare
@eyip002 eyip002 released this 11 Dec 09:20
· 2 commits to master since this release
1.0.1
19d5836
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
  • The IA-Toolset for Interface Automata theories: Interface Automata for Shared Memory and Modal Interface Automata
  • Fixes:
    • The pruning of error states was sensitive to the textual ordering of transitions
    • IAM: Product state with a classic IA communication error was not marked as having an error
    • Error state in an automaton was not carried over into its product automaton
    • Actions present in the signature of an automaton are not preserved in clones if the actions are never used in a transition
    • Refinement checks that both automata have the same signature
Assets 4
Loading