11![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. Howe 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. Howe](https://www.pdfsearch.io/img/221a5e761ea65e75ee7efbebcb91bc63.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 13:08:32
|
---|
12![Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif](https://www.pdfsearch.io/img/09b2903a6150e07cbcd5c8425d14a418.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-01-11 10:46:01
|
---|
13![A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti](https://www.pdfsearch.io/img/420044ab2f36396f81c56d2c36694f77.jpg) | Add to Reading ListSource URL: www.doc.ic.ac.ukLanguage: English - Date: 2013-11-19 11:15:29
|
---|
14![Electrum Lightweight specification of behavioral models with rich configurations Julien Brunel1 , David Chemouil1 , Alcino Cunha2 , Nuno Macedo2 et al. Workshop on the Future of Alloy, April 30 & May 1, 2018, MIT. Electrum Lightweight specification of behavioral models with rich configurations Julien Brunel1 , David Chemouil1 , Alcino Cunha2 , Nuno Macedo2 et al. Workshop on the Future of Alloy, April 30 & May 1, 2018, MIT.](https://www.pdfsearch.io/img/f65752270f892f3569eda4e854deaee4.jpg) | Add to Reading ListSource URL: alloytools.orgLanguage: English - Date: 2018-06-13 06:07:43
|
---|
15![E M S C B – Milestone No. I Turaya.Crypt – Secure Linux Hard-Disk Encryption DESIGN SPECIFICATION based on European Multilaterally Secure Computing Base (EMSCB) E M S C B – Milestone No. I Turaya.Crypt – Secure Linux Hard-Disk Encryption DESIGN SPECIFICATION based on European Multilaterally Secure Computing Base (EMSCB)](https://www.pdfsearch.io/img/3ee94896c48584f08be2075b76a50eff.jpg) | Add to Reading ListSource URL: www.emscb.deLanguage: English - Date: 2011-05-11 05:57:21
|
---|
16![R The OpenGL
Graphics System: A Specification (Version 4.5 (Compatibility Profile) - June 29, 2017)
R The OpenGL
Graphics System: A Specification (Version 4.5 (Compatibility Profile) - June 29, 2017)](https://www.pdfsearch.io/img/c8c39b75bdb6d195a3b460b382244de2.jpg) | Add to Reading ListSource URL: www.khronos.orgLanguage: English - Date: 2017-06-29 16:51:37
|
---|
17![An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification l An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification l](https://www.pdfsearch.io/img/09d49d1397bd39b761c57bda22e29c64.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-09-22 17:48:28
|
---|
18![R The OpenGL
Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)
R The OpenGL
Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)](https://www.pdfsearch.io/img/a0c4958dd5ec60e358ce6f096c7a91ce.jpg) | Add to Reading ListSource URL: www.khronos.orgLanguage: English - Date: 2018-05-14 04:23:13
|
---|
19![Microsoft Word - Belmont Ballot Printing Specification Microsoft Word - Belmont Ballot Printing Specification](https://www.pdfsearch.io/img/4bc5e0a5ffafcac52b593f08e81cd919.jpg) | Add to Reading ListSource URL: belmont.ohioboe.comLanguage: English - Date: 2018-01-02 11:03:08
|
---|