Publication Date:
2018-06-08
Description:
Model Checking conducts an exhaustive exploration of all possible behaviors of a software system design and as such can be used to detect defects in designs that are typically difficult to discover with conventional testing approaches.
Keywords:
Computer Programming and Software
Type:
21st Digital Avionics Systems Conference; Irvine, CA; United States
Format:
text
Permalink