Taxonomic Search: joe OR hurd
Results 1 - 10 of 34
Results
page
Hovering over speakers’ names will display titles in most browsers.
page
Hovering over speakers’ names will display titles in most browsers.
file
Dr. Joe Peters, Federal Highway Administration, presentation at the 1st National CPS PI Meeting, Arlington, VA, 08/11/2010
file
ABSTRACT
Symbolic simulation is a powerful technique for building mathematical models describing a program’s results by simulating execution while interpreting inputs as symbolic variables. Such models can then be used to prove properties about the corresponding source program, including equivalence against a reference implementation.
page
PROGRAM AGENDA
May 6-7, 2012 | Annapolis, Maryland, USA
THEME: Standards, Methods & Tools and Their Efficacy
You must be a member of the SCC Group to access the presentations. Request membership.
