Skip to content

This is an implementation of techniques described by Matt Bishop in his 2003 paper 'Robust Programming'. The paper describes an approach to programming that is safe and reliable for the error-conscious programmer/debugger.

nifemim/RobustProgramming

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 

About

This is an implementation of techniques described by Matt Bishop in his 2003 paper 'Robust Programming'. The paper describes an approach to programming that is safe and reliable for the error-conscious programmer/debugger.

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published