There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 27

Record: found
Abstract: not found
Book Chapter: not found

Spot 2.0 — A Framework for LTL and \(\omega \) -Automata Manipulation

Alexandre Duret-Lutz, Alexandre Lewkowicz, Amaury Fauchille … (2016)

0 comments Cited 36 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Propositional dynamic logic of looping and converse is elementarily decidable

Robert S. Streett (1982)

0 comments Cited 33 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits

K. L. McMillan (1993)

0 comments Cited 28 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2018

Publication date (Online): May 08 2018

Pages: 3-15

DOI: 10.1007/978-3-319-91268-4_1

SO-VID: f7f20411-1412-4f60-b4f2-2e3e7afb9a0b

History

Data availability:

Self-adaptive Model Checking, the Next Step?

Read this book at

Related collections

Business Model Innovation in engineering

Most cited references 27

Spot 2.0 — A Framework for LTL and \(\omega \) -Automata Manipulation

Propositional dynamic logic of looping and converse is elementarily decidable

Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,347