Introducing Software Verification with Dafny Language

Introduction: Languages and Systems.- Chapter 1: Our First Program.- Chapter 2: Logic.- Chapter 3: Computation.- Chapter 4: Mathematical Foundations.- Chapter 5: Proofs.- Chapter 6: Specifications.- Chapter 7: Mathematical Induction.- Chapter 8: Verification Exercises.- Chapter 9: Implementing a Formal System. Conclusion.- Bibliography.- Appendix A: Goedel's Theorems.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Microsoft programação
• Programação e linguagens de script: geral
• Ciência da Computação

Programming;Software;Dafny;Microsoft;verify;verification;bug;test;computational;source code;language;Visual Studio;C#