![Mathematics / Algebra / Theoretical computer science / Finite automata / Linear algebra / Finite-state transducer / Dynamic programming / Edit distance / Trace / Finite-state machine / Shortest path problem / Levenshtein distance Mathematics / Algebra / Theoretical computer science / Finite automata / Linear algebra / Finite-state transducer / Dynamic programming / Edit distance / Trace / Finite-state machine / Shortest path problem / Levenshtein distance](https://www.pdfsearch.io/img/221a5e761ea65e75ee7efbebcb91bc63.jpg) Date: 2016-07-20 13:08:32Mathematics Algebra Theoretical computer science Finite automata Linear algebra Finite-state transducer Dynamic programming Edit distance Trace Finite-state machine Shortest path problem Levenshtein distance | | Suggesting Edits to Explain Failing Traces Giles Reger University of Manchester, UK Abstract. Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. HoweAdd to Reading ListSource URL: www.cs.man.ac.ukDownload Document from Source Website File Size: 157,06 KBShare Document on Facebook
|