|
|
|
|
|
Bharvi Chhaya, Shafagh Jafer and Umut Durak
Formal methods offer well-defined means for mathematical verification of the functional specifications of software systems. For model-based engineering, model checking is a verification technique that explores all possible system states. The Aviation Sce...
ver más
|
|
|
|
|