Record: found
Abstract: not found
Book Chapter: not found

Directed Proof Generation for Machine Code

other

Author(s): Aditya Thakur , Junghee Lim , Akash Lal , Amanda Burton , Evan Driscoll , Matt Elder , Tycho Andersen , Thomas Reps

Publication date (Print): 2010

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 21

Record: found
Abstract: not found
Conference Proceedings: not found

Lazy abstraction

Thomas Henzinger, Ranjit Jhala, Rupak Majumdar … (2002)

0 comments Cited 65 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

The Daikon system for dynamic detection of likely invariants

Matthew S. Tschantz, Stephen McCamant, Philip J. Guo … (2007)

0 comments Cited 62 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Adding nesting structure to words

Rajeev Alur, P. Madhusudan (2009)

0 comments Cited 45 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 288-305

DOI: 10.1007/978-3-642-14295-6_27

SO-VID: 42df179f-5726-443a-a7cc-c97576e0998c

History

Data availability:

Directed Proof Generation for Machine Code

Read this book at

Related collections

Global Health Next Generation Network

Most cited references 21

Lazy abstraction

The Daikon system for dynamic detection of likely invariants

Adding nesting structure to words

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,134

Cited by 8