Introducing Software Verification with Dafny Language: Proving Program Correctness

1h 21m
Boro Sitnikovski
Apress
2022

Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny.

Book Go Programming Language For Dummies

Book Code like a Pro in C#

Book Street Coder

Get Started

Sharpen your skills. Upgrade your career. Find the right learning path for you, based on your role and skills. Take part in hands-on practice, study for a certification, and much more - all personalized for you.

*Content items for Compliance and Leadership are not included in this subscription.

Your content + our content + our platform = a path to learning success

Using our learning experience platform, Percipio, your learners can engage in custom learning paths that can feature curated content from all sources.

Learn More

Aspire to something bigger

Aspire Journeys are guided learning paths that set you in motion for career success.

Browse Aspire Journeys

Explore a world of live learning with Global Knowledge

Choose from convenient delivery formats to get the training you and your team need - where, when and how you want it.

Browse Live Learning

Introducing Software Verification with Dafny Language: Proving Program Correctness

YOU MIGHT ALSO LIKE