2018 | OriginalPaper | Chapter
Owl: A Library for \(\omega \)-Words, Automata, and LTL
Authors : Jan Křetínský, Tobias Meggendorfer, Salomon Sickert
Published in: Automated Technology for Verification and Analysis
Publisher: Springer International Publishing
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Abstract
Owl
(Omega-Words, automata, and LTL) for \(\omega \)-automata and linear temporal logic. It forms a backbone of several translations from LTL to automata and related tools by different authors. We describe the functionality of the library and the recent experience, which has already shown the library is apt for easy prototyping of new tools in this area.