Publikationsdatum:
2018-06-08
Beschreibung:
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.
Schlagwort(e):
Computer Programming and Software
Materialart:
21st Digital Avionics Systems Conference; Irvine, CA; United States
Format:
text
Permalink