A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

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

• Logic
• Symbol
• Substitution
• Mathematical logic
• Finite automata

Specification of Parametric Monitors Quantified Event Automata versus Rule Systems Klaus Havelund1? and Giles Reger2 1 Jet Propulsion Laboratory, California Inst. of Technology, USA

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

• Software engineering
• Computing
• Programming language theory
• Procedural programming languages
• Programming languages
• Logic in computer science
• Runtime verification
• Cross-platform software
• Program slicing
• Model checking
• L-system
• Trace

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

Source URL: www.khronos.org

• Computing
• Computer programming
• 3D computer graphics
• OpenGL
• Application programming interfaces
• Cross-platform software
• Graphics libraries
• Video game development
• Shader
• Framebuffer object
• Shading language
• Pixel buffer

Specification Revision for Markov Decision Processes with Optimal Trade-off M. Lahijanian and M. Kwiatkowska Abstract— Optimal control policy synthesis for probabilistic systems from high-level specifications is increa

Source URL: qav.comlab.ox.ac.uk

• Logic
• 120-cell
• Linear temporal logic
• Substitution
• Markov decision process
• Symbol
• Theoretical computer science
• Mathematical logic

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

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

Evolving Specification Engineering Dusko Pavlovic, Peter Pepper, Doug Smith Email: {dusko,smith}@kestrel.edu, Kestrel Institute and Technische Universit¨ at Berlin

Source URL: www.kestrel.edu

• Concurrent computing
• Liveness
• Temporal logic
• Safety property
• Category theory
• Computation tree logic
• Morphism
• Dual
• Category
• Natural transformation
• Mathematics
• Mathematical logic

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

Source URL: www.khronos.org

• Computing
• Computer programming
• 3D computer graphics
• OpenGL
• Application programming interfaces
• Cross-platform software
• Graphics libraries
• Video game development
• Shader
• Shading language
• Framebuffer object
• Pixel buffer

A Specification of Java Loading and Bytecode Verification Allen Goldberg Kestrel Institute 3260 Hillview Av. Palo Alto, CA 94304

Source URL: www.kestrel.edu

• Computing
• Software engineering
• Computer programming
• Concurrent programming languages
• High-level programming languages
• Type theory
• Programming languages
• Program analysis
• Java virtual machine
• Type system
• Go
• Java

R The OpenGL Graphics System: A Specification (Version 4.5 (Core 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
• Pixel buffer
• Shading language

Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2

Source URL: qav.comlab.ox.ac.uk

• I0
• Invariant
• XC