Publication | Closed Access

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

Mathematical ProgrammingPetri NetEngineeringOn-line VerificationMechanical VerificationVerificationFormal MethodsComputer-aided VerificationSystems EngineeringComputer SciencePetri NetsModel VerificationCurrent-state OpacityFormal Verification