A Contextual Equivalence Checker for IMJ*
From MaRDI portal
Publication:3460566
DOI10.1007/978-3-319-24953-7_19zbMath1471.68149OpenAlexW2290178294MaRDI QIDQ3460566
Nikos Tzevelekos, S. J. Ramsay, Andrzej S. Murawski
Publication date: 8 January 2016
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: http://wrap.warwick.ac.uk/78374/1/WRAP_1271755-cs-010416-paper_96.pdf
Formal languages and automata (68Q45) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Algorithmic games for full ground references ⋮ Reachability in pushdown register automata ⋮ On-the-fly bisimilarity checking for fresh-register automata ⋮ coneqct
This page was built for publication: A Contextual Equivalence Checker for IMJ*
