LoreonLabsPlatform
DocsHome
  • Overview

Intelligence

  • Markets
  • Builders
  • Research
  • Ecosystems
  • Launchpads
  • Search
Ecosystems

Java

threadsbash

Java parallel processes spawner for bisimulation equivalence checking between timed automata in round robin fashion

JavaEmerging
GitHub
Stars
—
Forks
—
Contributors
1
Last push
39mo ago

Recent commits

Latest commits.

  • Update README.md
    054b028Sebastián Betancourt39mo ago
  • contains replaced with startsWith at output processing
    5004de2sebastianbetancourt40mo ago
  • sample2 added
    20908c0sebastianbetancourt40mo ago
  • hs error files muted
    71bb88bsebastianbetancourt41mo ago
  • sample200 added
    44b2e50sebastianbetancourt41mo ago
commented -Xmx
d90c25dsebastianbetancourt41mo ago
  • defined metrics
    dae345esebastianbetancourt41mo ago
  • samples added
    cfb4adasebastianbetancourt41mo ago

    • Top contributors

    Builders behind this project.

    SebastianBetancourt
    3 commits