Best Icons
All IconsPricingUnlimited Icon API
All IconsPricingUnlimited Icon API
Best Icons

Search 312,774 thoughtfully tagged SVG icons from commercially licensed sources. Free includes 108,692 SVG variants across 44 curated sets — 35% of the library.

PricingBlogLicensesAccountLegal NoticePrivacy PolicyTerms

Featured Icon Sets

  • Lucide
  • Heroicons
  • Tabler
  • Bootstrap Icons
  • Font Awesome Free
  • Material Symbols
  • Fluent
  • PH
  • Feather
  • Iconoir

Icons by Topic

  • finance
  • strategy
  • process
  • team
  • tech
  • sales
  • marketing
  • legal
  • time
  • communication
  • sustainability
  • risk
  • logistics
  • education
  • health
  • navigation
  • media
  • Miscellaneous
  • Social media

Licenses & Guides

  • All source licenses
  • MIT icons
  • Apache 2.0 icons
  • CC0 icons
  • Icon guides
  • Icons for PowerPoint & Google Slides
  • Commercial use & attribution
  • SVG vs. PNG
  • Compare icon alternatives
  • IconScout alternative
  • Flaticon alternative
  • Streamline alternative
  • Icons8 alternative
© 2026 Best Icons
  1. Home
  2. ›All Icons
  3. ›File Icons
  4. ›Dafny Verification Icon
Solid
Icon color
Dafny Verification icon – File Icons
512px grid
Tech

Dafny Verification Icon — File Icons

cython · file-icons

Dafny automated program verification language.

Loading download options…

Best matches

dafnyverificationformalproof

Get access to this and 300,000 more icons.

One-time payment · No subscription

License Information

You may use, modify, and distribute this icon for private or commercial purposes. Keep the applicable copyright and ISC permission notices in redistributed copies.

View ISC license

Common searches

program verificationformal verificationautomated verificationtheorem provingspecification languagecorrectness proofinvariant checkingassertion languagemicrosoft toolstatic analysiscode correctnesssafety verification

Related terms

dafny logodafny icondafny languagedafny verificationdafny systemverification toolformal toolproof assistantdafny frameworkdafny platformverification systemformal languagemicrosoft toolanalysis tool

Broad associations

verificationformal methodsproofcorrectnessprogram analysissafetysecuritylanguagetoolmicrosoftresearchacademicadvancedformal verificationquality assurancetechnology
File Icons set

Using the Dafny Verification Icon

Dafny automated program verification language. This solid icon belongs to File Icons, a source set with 930 SVG records. Its recorded source grid is 512px. It is indexed under dafny, verification, formal, proof, program verification, formal verification.

Choose SVG for scalable interface artwork or PNG for a raster image in a presentation or document. Export sizes and access depend on your plan. Resizing, recoloring or converting a file does not remove the source license obligations.

Related Icons

  • Dhall Configuration icon – file-iconsDhall Configurationfile-icons