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

Source URL: www.cs.man.ac.uk

• 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

Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif

Source URL: www.isse.uni-augsburg.de

• Computer data storage
• Computing
• Computer memory
• System software
• Non-volatile memory
• Embedded Linux
• UBIFS
• Flash memory
• Memory Technology Device
• Flash file system
• Wear leveling
• Data

A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti

Source URL: www.doc.ic.ac.uk

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.

Source URL: alloytools.org

• Theoretical computer science
• Formal methods
• Temporal logic
• Software engineering
• Alloy
• Massachusetts Institute of Technology
• Z notation
• Concurrency
• Model checking
• TLA+
• Linear temporal logic
• Computation tree logic

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)

Source URL: www.emscb.de

• Cryptography
• Disk encryption
• Cryptographic software
• Dm-crypt
• Symmetric-key algorithm
• Comparison of disk encryption software
• AES implementations

R The OpenGL Graphics System: A Specification (Version 4.5 (Compatibility Profile) - June 29, 2017)

Source URL: www.khronos.org

• Computing
• Computer programming
• IT infrastructure
• OpenGL
• Application programming interfaces
• Cross-platform software
• Graphics libraries
• Video game development
• Shader
• Framebuffer object
• Shading language
• Pixel buffer

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

Source URL: www.cs.man.ac.uk

R The OpenGL Graphics System: A Specification (Version 4.6 (Core Profile) - May 14, 2018)

Source URL: www.khronos.org

• Computing
• Computer programming
• IT infrastructure
• OpenGL
• Application programming interfaces
• Cross-platform software
• Graphics libraries
• Video game development
• Shader
• Framebuffer object
• Shading language
• Pixel buffer

Microsoft Word - Belmont Ballot Printing Specification

Source URL: belmont.ohioboe.com

• Elections
• Voting
• Politics
• Group decision-making
• Electronic voting
• Ballot
• Absentee ballot
• Vote counting
• Election audits