Publication | Closed Access

On-line verification of initial-state opacity by Petri nets and integer linear programming

Mathematical ProgrammingPetri NetEngineeringOn-line VerificationMechanical VerificationVerificationStochastic Petri NetFormal MethodsComputer EngineeringComputer-aided VerificationComputer SciencePetri NetsInitial-state OpacityModel VerificationFormal Verification