Proof technology and computation /
Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for vari...
| 企業作者: | |
|---|---|
| 其他作者: | , |
| 格式: | Licensed eBooks |
| 語言: | 英语 |
| 出版: |
Amsterdam ; Washington, DC :
IOS Press,
©2006.
|
| 叢編: | NATO science series. Computer and systems sciences ;
v. 200. |
| 在線閱讀: | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=165586 |
| 總結: | Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for various axiomatic theories; abstraction-refinement framework of temporal logic model checking; formal verification in industrial hardware design; readable machine-checked proofs and semantics and more. |
|---|---|
| Item Description: | "Proceedings of the NATO Advanced Study Institute on Proof Technology and Computation, Marktoberdorf, Germany, 29 July-10 August 2003"--Title page verso. "Published in cooperation with NATO Public Diplomacy Division." |
| 實物描述: | 1 online resource |
| 參考書目: | Includes bibliographical references and index. |
| ISBN: | 1423797558 9781423797555 1601294840 9781601294845 9781607501800 1607501805 661054767X 1280547677 9781280547676 9786610547678 6000005288 9786000005283 1586036254 9781586036256 |
| ISSN: | 1387-6694 ; |