Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Well Behaved Transition Systems

Michael Blondin ; Alain Finkel ; Pierre McKenzie.
The well-quasi-ordering (i.e., a well-founded quasi-ordering such that all antichains are finite) that defines well-structured transition systems (WSTS) is shown not to be the weakest hypothesis that implies decidability of the coverability problem. We show coverability decidable for monotone&nbsp;[&hellip;]
Published on September 13, 2017
Volume 13, Issue 3

Forward Analysis for WSTS, Part III: Karp-Miller Trees

Michael Blondin ; Alain Finkel ; Jean Goubault-Larrecq.
This paper is a sequel of "Forward Analysis for WSTS, Part I: Completions" [STACS 2009, LZI Intl. Proc. in Informatics 3, 433-444] and "Forward Analysis for WSTS, Part II: Complete WSTS" [Logical Methods in Computer Science 8(3), 2012]. In these two papers, we provided a framework to conduct forward&nbsp;[&hellip;]
Published on June 23, 2020
Volume 16, Issue 2
  • < Previous
  • 1
  • Next >