Learning symbolic abstractions from system execution traces
<p>This dissertation shows that symbolic abstractions for a system can be inferred from a set of system execution traces using a combination of Boolean satisfiability and program synthesis. In addition, the degree of completeness of an inferred abstraction can be evaluated by employing equival...
Váldodahkki: | Yogananda Jeppu, N |
---|---|
Eará dahkkit: | Melham, T |
Materiálatiipa: | Oahppočájánas |
Giella: | English |
Almmustuhtton: |
2022
|
Fáttát: |
Geahča maid
-
Active learning of abstract system models from traces using model checking
Dahkki: Yogananda Jeppu, N, et al.
Almmustuhtton: (2022) -
Abstractions and formal verification of max-plus linear systems
Dahkki: Syifaul Mufid, M
Almmustuhtton: (2021) -
Learning concise models from long execution traces
Dahkki: Yogananda Jeppu, N, et al.
Almmustuhtton: (2020) -
Symbolic techniques for parameterised verification
Dahkki: Hong, CD
Almmustuhtton: (2022) -
Modern formal methods and applications /
Dahkki: Gabbar, Hossam A
Almmustuhtton: (2006)