Skip to main content

2 Result(s)

within Anthony W. Lin Remove this filter Computation by Abstract Devices Remove this filter Programming Languages, Compilers, Interpreters Remove this filter Software Engineering Remove this filter

and

  1. Chapter and Conference Paper

    Fair Termination for Parameterized Probabilistic Concurrent Systems

    We consider the problem of automatically verifying that a parameterized family of probabilistic concurrent systems terminates with probability one for all instances against adversarial schedulers. A parameteri...

    Ondřej Lengál, Anthony W. Lin… in Tools and Algorithms for the Construction … (2017)

    Download PDF (330 KB) View Chapter

  2. No Access

    Chapter and Conference Paper

    Regular Symmetry Patterns

    Symmetry reduction is a well-known approach for alleviating the state explosion problem in model checking. Automatically identifying symmetries in concurrent systems, however, is computationally expensive. We ...

    Anthony W. Lin, Truong Khanh Nguyen… in Verification, Model Checking, and Abstract… (2016)