English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

One technique to reduce the state-space explosion problem in temporal logicmodel checking is symmetry reduction. The combination of symmetry reduction andsymbolic model checking by using BDDs suffered a long time from theprohibitively large BDD for the orbit relation. Dynamic symmetry reductioncalculates representatives of equivalence classes of states dynamically andthus avoids the construction of the orbit relation. In this paper, we present anew efficient model checking algorithm based on dynamic symmetry reduction. Ourexperiments show that the algorithm is very fast and allows the verification oflarger systems. We additionally implemented the use of state symmetries forsymbolic symmetry reduction. To our knowledge we are the first who investigatedstate symmetries in combination with BDD based symbolic model checking.

Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking