Menu |
Category D.2.4 Software/Program VerificationAssertion checkers
Class invariants
Correctness proofs
Formal methods
Model checking
Programming by contract
Reliability
Statistical methods
Validation Browse in:All Wiki pages Image galleries Images File galleries Blogs Trackers Items Surveys Articles Hide subcategories objects Current category:
Top
::
ITHEA Classification Structure
::
D. Software
::
D.2 SOFTWARE ENGINEERING
::
D.2.4 Software/Program Verification
|
Login World Clock |