- Record: found
- Abstract: not found
- Book Chapter: not found
Foundations of Software Technology and Theoretical Computer Science
Mechanized formal methods: Progress and prospects
other
Read this book at
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 references29
- Record: found
- Abstract: not found
- Book Chapter: not found
PVS: Combining specification, proof checking, and model checking
S. Owre, S Rajan, J. M. Rushby … (1996)
- Record: found
- Abstract: not found
- Article: not found
Symbolic Boolean manipulation with ordered binary-decision diagrams
Randal E. Bryant (1992)
Author and book information
Comments
Comment on this book
Book chapters
Similar content1,771
- Functionalism isnt formalism an interactive review of Darnell et al (1999) The authors would like to thank Heidi Harley Mike Hammond and an anonymous JL referee for their comments and especially Maggie Tallerman for her boundless patience The authors blame each other for any mistakes or misrepresentations that are in this review especially ones that will get them in trouble with their own camp We would like to note that although each paragraph is attributed to a particular author we frequently wrote each others parts We leave it as a challenge to the reader to figure out which sections were actually written by whomAuthors: ANDREW CARNIE, NORMA MENDOZA-DENTON