Open Access
Lecture Notes in Computer Science, pages 455-467
Model checking using adaptive state and data abstraction
Publication type: Book Chapter
Publication date: 1994-01-01
Journal:
Lecture Notes in Computer Science
Q2
SJR: 0.606
CiteScore: 2.6
Impact factor: —
ISSN: 03029743, 16113349, 18612075, 18612083
Abstract
We present a partitioning algorithm for checking ACTL specifications that distinguishes between states only if this is necessary to ascertain the specification. This algorithm is then generalized to also abstract from the variable values in the states. Here, too, the values between which the algorithm distinguishes are determined by what is needed to decide whether or not the specification holds. The resulting algorithm is being implemented in an ROBDD based model checker for VHDL/S.
Found
Found
Top-30
Journals
|
1
2
3
4
5
6
7
8
|
|
|
Lecture Notes in Computer Science
8 publications, 72.73%
|
|
|
Formal Methods in System Design
1 publication, 9.09%
|
|
|
International Journal on Software Tools for Technology Transfer
1 publication, 9.09%
|
|
|
1
2
3
4
5
6
7
8
|
Publishers
|
2
4
6
8
10
|
|
|
Springer Nature
10 publications, 90.91%
|
|
|
Wiley
1 publication, 9.09%
|
|
|
2
4
6
8
10
|
- We do not take into account publications without a DOI.
- Statistics recalculated only for publications connected to researchers, organizations and labs registered on the platform.
- Statistics recalculated weekly.
Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
Metrics
Cite this
GOST |
RIS |
BibTex
Cite this
GOST
Copy
Dams D. et al. Model checking using adaptive state and data abstraction // Lecture Notes in Computer Science. 1994. pp. 455-467.
GOST all authors (up to 50)
Copy
Dams D., Gerth R., Döhmen G., Herrmann R., Kelb P., Pargmann H. Model checking using adaptive state and data abstraction // Lecture Notes in Computer Science. 1994. pp. 455-467.
Cite this
RIS
Copy
TY - GENERIC
DO - 10.1007/3-540-58179-0_75
UR - https://doi.org/10.1007/3-540-58179-0_75
TI - Model checking using adaptive state and data abstraction
T2 - Lecture Notes in Computer Science
AU - Dams, Dennis
AU - Gerth, Rob
AU - Döhmen, Gert
AU - Herrmann, Ronald
AU - Kelb, Peter
AU - Pargmann, Hergen
PY - 1994
DA - 1994/01/01
PB - Springer Nature
SP - 455-467
SN - 0302-9743
SN - 1611-3349
SN - 1861-2075
SN - 1861-2083
ER -
Cite this
BibTex (up to 50 authors)
Copy
@incollection{1994_Dams,
author = {Dennis Dams and Rob Gerth and Gert Döhmen and Ronald Herrmann and Peter Kelb and Hergen Pargmann},
title = {Model checking using adaptive state and data abstraction},
publisher = {Springer Nature},
year = {1994},
pages = {455--467},
month = {jan}
}