책 이미지
eBook 미리보기
책 정보
· 제목 : QED at Large: A Survey of Engineering of Formally Verified Software (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9781680835946
· 쪽수 : 194쪽
· 출판일 : 2019-09-03
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9781680835946
· 쪽수 : 194쪽
· 출판일 : 2019-09-03
목차
- 1. Introduction
- 2. Proof Engineering by Example
- 3. Why Proof Engineering Matters
- 4. Foundations and Trusted Bases
- 5.Between the Engineer and the Kernel: Languages and Automation
- 6. Proof Organization and Scalability
- 7. Practical Proof Development and Evolution
- 8. Conclusion
- Acknowledgements
- References
