Abstract
In this note, we present the first version of the MONA tool to be released in its entirety. The tool now offers decision procedures for both WS1S and WS2S and a completely rewritten front-end. Here, we present some of our techniques, which make calculations couched in WS1S run up to five times faster than with our pre-release tool based on M2L(Str). This suggests that WS1S - with its better semantic properties - is preferable to M2L(Str).
Cite
CITATION STYLE
Elgaard, J., Klarlund, N., & Moller, A. (1998). MONA 1.X: New techniques for WS1S and WS2S. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1427 LNCS, pp. 516–520). Springer Verlag. https://doi.org/10.1007/bfb0028773
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
