Improving HyLTL model checking of hybrid systems

    GandALF, pp. 79-92, 2013.

    Cited by: 3|Bibtex|Views1|Links
    EI

    Abstract:

    The problem of model-checking hybrid systems is a long-time challenge in the scientific community. Most of the existing approaches and tools are either limited on the properties that they can verify, or restricted to simplified classes of systems. To overcome those limitations, a temporal logic called HyLTL has been recently proposed. T...More

    Code:

    Data:

    Your rating :
    0

     

    Tags
    Comments