Abstrakt. Vi föreslår en modell oberoende förfarande för att kontrollera egenskaper hos diskreta händelsesystem. Dynamiken i sådana system kan vara mycket komplex, vilket gör dem svåra att analysera, så vi tar till metoder baserade på Monte Carlo simulering och statistisk hypotes testning. Verifieringen är probabilistisk i två sinnen. För det första kan egenskaperna, uttryckta som CSL-formler, vara probabilistiska. För det andra är resultatet av kontrollen probabilistiskt, och sannolikheten för fel begränsas av två parametrar som överförs till kontrollförfarandet. Kontrollen av egenskaper kan utföras när som helst genom att börja med lösa felgränser, och gradvis skärpa dessa gränser.
I REF beskrivs ett förfarande för att kontrollera egenskaper hos diskreta händelsesystem baserat på Monte-Carlo-simulering och statistisk hypotestestning.
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
{'venue': 'In Proc. 14th International Conference on Computer Aided Verification, volume 2404 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}