static verification technique
Static Type Checking
Check that operations and values obey the type system's rules before the program runs.
On the map
- Verification
- Code and model analysis
Connected practices
Structure and variants
Static Type Checking
From requirements to operations
static verification technique
Check that operations and values obey the type system's rules before the program runs.