Computable fixpoints in well-structured symbolic model checking

Schnoebelen, P.; Bertrand, N

doi:10.1007/s10703-012-0168-y

Record: found
Abstract: not found
Article: not found

Computable fixpoints in well-structured symbolic model checking

Author(s): N. Bertrand , P. Schnoebelen

Publication date (Electronic): August 4 2012

Journal: Formal Methods in System Design

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

Bookmark

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

Related collections

Most cited references 69

Record: found
Abstract: not found
Article: not found

Well-structured transition systems everywhere!

A Finkel, Ph. Schnoebelen (2001)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Verifying Programs with Unreliable Channels

Parosh Aziz Abdulla, Bengt Gunnar Jonsson (1996)

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

Bookmark

Record: found
Abstract: not found
Article: not found

The theory of well-quasi-ordering: A frequently discovered concept

Joseph Kruskal (1972)

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

Bookmark

All references

Author and article information

Journal

Title: Formal Methods in System Design

Abbreviated Title: Form Methods Syst Des

Publisher: Springer Nature

ISSN (Print): 0925-9856

ISSN (Electronic): 1572-8102

Publication date Created: October 2013

Publication date (Electronic): August 4 2012

Publication date (Print): October 2013

Volume: 43

Issue: 2

Pages: 233-267

Article

DOI: 10.1007/s10703-012-0168-y

SO-VID: 7bad9780-d6a3-440b-b751-88704aaffdde

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.