Category:Formal methods

{{catdiffuse}}

{{cat main}}

{{Commons cat|Formal methods}}

Formal methods are mathematical approaches to software and hardware computer-based system development from requirements, specification and design through to programming and implementation. They form an important theoretical underpinning for software engineering, especially where safety or security is involved. Formal methods are a useful adjunct to software testing since they help avoid errors and can also give a framework for testing. For industrial use, tool support is required.

Category:Data modeling

Category:Mathematics of computing

Category:Software quality

Category:Subfields of computer science

Category:Theoretical computer science

Category:Software engineering

{{CatAutoTOC}}