Skip to content

Maude 3.0
Compare
Choose a tag to compare
@ningit ningit released this 25 Sep 21:09
· 39 commits to master since this release
Maude3.0
990706b
  • Symbolic reachability analysis of concurrent systems using narrowing,
  • A strategy language for controlling rewriting,
  • Three new external objects (files, standard streams and meta-interpreters),
  • Parameterized views,
  • A connection to SMT solvers CVC4 and Yices 2,
  • Some bugs fixed, and
  • Some improvements in syntax error detection and recovering.
Assets 6
Loading