Skip to content

kantega/correct-by-construction

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

72 Commits
 
 
 
 
 
 
 
 

Repository files navigation

correct-by-construction

En serie korte artikler om hvordan man utnytter kompilatoren for å skrive bugfri software.

  1. Validation
  2. Test less

About

A series of articles about maximizing the use of the compiler

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages