Gregory Neil Anderson

Gregory Neil Anderson
  • University of Virginia

About

1
Publication
431
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
1
Citation
Introduction
Skills and Expertise
Verification
Formal Verification
Formal Semantics
Program Analysis
Static Analysis
Program Semantics
Formal Methods
Software Verification
Formal Specification
Current institution
University of Virginia
University of Virginia
  • Department of Electrical and Computer Engineering (ECE)
  • Charlottesville, United States

Publications

Publication (1)
Visualizing properties of Simulink models
Conference Paper
Full-text available
  • Jan 2016
Model-based development of software using tools such as MathWorks Simulink has become common in the engineering of safety-critical systems. When working with Simulink, engineers need to be able to assure that the subject models possess crucial properties such as: (1) safety properties are met, (2) the use of measurement units is consistent, (3) fre...
View

Network