Runtime verification using a temporal description logic
-
Altmetric Citations
Baader, Franz; Bauer, Andreas; Lippmann, Marcel
Description
Formulae of linear temporal logic (LTL) can be used to specify (wanted or unwanted) properties of a dynamical system. In model checking, the system's behavior is described by a transition system, and one needs to check whether all possible traces of this
Collections | ANU Research Publications |
---|---|
Date published: | 2009 |
Type: | Book chapter |
URI: | http://hdl.handle.net/1885/57053 |
Book Title: | Frontiers of Combining Systems |
DOI: | 10.1007/978-3-642-04222-5_9 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Baader_Runtime_verification_using_a_2009.pdf | 77.3 kB | Adobe PDF | Request a copy | |
02_Baader_Runtime_verification_using_a_2009.pdf | 78.29 kB | Adobe PDF | Request a copy | |
03_Baader_Runtime_verification_using_a_2009.pdf | 239.98 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator