Back to Results
First PageMeta Content
Logic in computer science / Data types / Formal methods / Pointer / First-order logic / Satisfiability Modulo Theories / Assertion / ALGOL 68 / Theoretical computer science / Software engineering / Computer programming


SMT-Based System Verification with DVF Amit Goel, Sava Krsti´c, Rebekah Leslie, Mark R. Tuttle Intel Corporation Abstract We introduce the Deductive Verification Framework (DVF ), a language and a tool for verifying pro
Add to Reading List

Document Date: 2012-06-12 17:13:00

Open Document

File Size: 272,53 KB

Share Result on Facebook

City

Dakar / /

Company

Mark R. Tuttle Intel Corporation / Intel / Rebekah Leslie / /

IndustryTerm

cache-coherence protocol / consensus protocols / hardware systems / infinite state systems / deductive verification tool / guarded transition systems / cleaner solution / larger and more complex systems / transition systems / cache coherence protocols / mutual exclusion algorithm / larger systems / /

NaturalFeature

Krakatoa / /

Person

Amit Goel / Sava Krsti / /

Technology

consensus protocols / cache coherence protocols / mutual exclusion algorithm / cache-coherence protocol / system-on-chip / /

URL

http /

SocialTag