Report copyright - pdfs.semanticscholar.orgZusammenfassung Model Checking ist ein Ansatz zur Validierung der Korrekheit eines Hard-oder Softwaresystems. Dazu wird das System durch ein formales Modell
Please pass captcha verification before submit form