![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 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](https://www.pdfsearch.io/img/b22f431571088b5e75991d00446d27bb.jpg)
| Document Date: 2013-10-18 17:59:35 Open Document File Size: 378,96 KBShare 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 |