Structural Analysis of Hybrid-Trace Nets: An Optimization Approach

Nguyen Cong Nhat Le, Claire N. Bonial, John G. Rogers +1

Fault and error detection is crucial for ensuring the correctness of safety-critical systems. Safety verification often addresses reachability of bad system states, where exhaustiv…