Back to Results
First PageMeta Content
Applied mathematics / Computing / Formal verification / Model checking / Programming tool / Programming language / Exception handling / Device driver synthesis and verification / Computer-aided software engineering / Formal methods / Logic in computer science / Theoretical computer science


Verified software: theories, tools, experiments Vision of a Grand Challenge project Tony Hoare and Jay Misra July 2005
Add to Reading List

Document Date: 2005-07-29 10:40:50

Open Document

File Size: 101,99 KB

Share Result on Facebook

Company

Microsoft Research Ltd. / /

Country

United States / /

Currency

USD / /

Facility

University of Texas / /

IndustryTerm

individual tools / software use / railway networks / formal programming tools / ultimate solution / pivotal tools / correct software / proof tools / type systems / web service / avoidable software / prototype tools / e-science / software engineers / verified software / development / proof search / security protocols / proof tool / logical tools / delivered software / programming tools / /

Organization

University of Texas at Austin / US Department of Commerce / /

Person

Tony Hoare / Jay Misra / /

Position

realistic representative / representative / normal engineer / /

Product

Apache / /

ProgrammingLanguage

Java / /

ProvinceOrState

Texas / /

Technology

functional programming / security protocols / analysis algorithms / operating system / Java / /

SocialTag