title: An algorithm for compositional nonblocking verification using special events

authors: Pilbrow, Colin

subjects: Science & Technology

abstract: This paper proposes to improve compositional nonblocking verification of discrete event systems through the use of special events. Compositional verification involves abstraction to simplify parts of a system during verification. Normally, this abstraction is based on the set of events not used in the remainder of the system, i.e., in the part of the system not being simplified. Here, it is proposed to exploit more knowledge about the remainder of the system and check how events are being used. Always enabled events, selfloop-only events, failing events, and blocked events are easy to detect and often help with simplification even though they are used in the remainder of the system. Abstraction rules from previous work are generalised, and experimental results demonstrate the applicability of the resulting algorithm to verify several industrial-scale discrete event system models, while achieving better state-space reduction than before.

text: An algorithm for compositional nonblocking verification using special events This paper proposes to improve compositional nonblocking verification of discrete event systems through the use of special events. Compositional verification involves abstraction to simplify parts of a system during verification. Normally, this abstraction is based on the set of events not used in the remainder of the system, i.e., in the part of the system not being simplified. Here, it is proposed to exploit more knowledge about the remainder of the system and check how events are being used. Always enabled events, selfloop-only events, failing events, and blocked events are easy to detect and often help with simplification even though they are used in the remainder of the system. Abstraction rules from previous work are generalised, and experimental results demonstrate the applicability of the resulting algorithm to verify several industrial-scale discrete event system models, while achieving better state-space reduction than before.

year: 2015-12-01

title: Review of Paul Forster, “Peirce and the Threat of Nominalism”

authors: Legg, Catherine

abstract: This article reviews the book “Peirce and the Threat of Nominalism”, by Paul Forster.

text: Review of Paul Forster, “Peirce and the Threat of Nominalism” This article reviews the book “Peirce and the Threat of Nominalism”, by Paul Forster.

year: 2013

title: Mainstreaming managed retreat in Aotearoa New Zealand [Policy Brief]

authors: Hanna, Christina Jane

abstract: Retreat in Aotearoa has evolved from early indigenous practices which saw relocation from harm as a viable option, to the onset of colonisation and more protection-based approaches, to more passive policy that acknowledged the option of retreat but provided little guidance or implementation support, to today, when retreat is becoming a strategic part of our national risk management framework.

text: Mainstreaming managed retreat in Aotearoa New Zealand [Policy Brief] Retreat in Aotearoa has evolved from early indigenous practices which saw relocation from harm as a viable option, to the onset of colonisation and more protection-based approaches, to more passive policy that acknowledged the option of retreat but provided little guidance or implementation support, to today, when retreat is becoming a strategic part of our national risk management framework.

year: 2023-04