Forward Analysis and Model Checking for Trace Bounded WSTS

Pierre Chambart, Alain Finkel, Sylvain Schmitz

We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we…