Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Model checking / Formal verification / Symbolic execution / First-order logic / Validation / Static single assignment form / Model theory / Logic / Formal methods / Mathematical logic


Symbolic Software Model Validation Cynthia Sturton,1 Rohit Sinha,2 Thurston H.Y. Dang,2 Sakshi Jain,2 Michael McCoyd,2 Wei Yang Tan,2 Petros Maniatis,3 Sanjit A. Seshia,2 and David Wagner 2 1 University of North Carolin
Add to Reading List

Document Date: 2013-10-18 17:59:35

Open Document

File Size: 378,96 KB

Share Result on Facebook

Company

Intel / B. TCAS Traffic Collision Avoidance Software / /

Facility

University of North Carolina / Chapel Hill / University of California / /

IndustryTerm

symbolic execution tools / software system / bug-finding tool / x86 hardware / systems software / software engineering research community / reactive systems / assertion checking tool / virtualization technologies / software benchmarks / ftpd software / Software model checkers / transition systems / software model validation / guest software / /

MarketIndex

TCAS / /

NaturalFeature

Chapel Hill / /

OperatingSystem

GNU / Petros / /

Organization

University of North Carolina / University of California / Berkeley / U.S. Securities and Exchange Commission / /

Person

David Wagner / Cynthia Sturton / /

Position

VP / model / as described below / guard / BPF interpreter / variables VP / VP / Init / global state VP / Symbolic Software Model / interpreter / Corporal / /

ProgrammingLanguage

V / FP / C / C++ / /

ProvinceOrState

VP / Virginia / North Carolina / California / Iowa / /

Technology

virtual machine / DMV algorithm / Simulation / operating system / operating systems / virtualization technologies / /

URL

http /

SocialTag