Back to Results
First PageMeta Content
Automated theorem proving / Formal methods / Logic in computer science / Model theory / KeY / First-order logic / Isabelle / Formal verification / Predicate transformer semantics / Mathematics / Theoretical computer science / Mathematical logic


Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard
Add to Reading List

Document Date: 2008-04-04 04:21:28

Open Document

File Size: 308,68 KB

Share Result on Facebook

City

Tucson / /

Company

Integrated Reasoning Systems / /

Country

United States / /

Currency

USD / /

/

Event

Reorganization / /

IndustryTerm

software verification system / monolithic general-purpose reasoning systems / computer systems / past verification systems / search trees / software verification systems / automated reasoning systems / engineered systems / diverse / software engineering practices / congruence closure algorithms / binary search tree / software systems / individual tool / /

Organization

National Science Foundation / MIT / Singapore-MIT Alliance / List Operations / /

Person

Isabelle Isabelle / MONA MONA / Ai / Karen Zee Viktor Kuncak Martin / /

Position

editor / representative / candidate for full functional verification / Programs General / General / /

Product

Jahob system / Hob / /

ProgrammingLanguage

Java / /

ProvinceOrState

Arizona / /

Technology

congruence closure algorithms / Java / ASCII / /

URL

http /

SocialTag