Multi-valued Logic for Static Analysis and Model Checking

Flemming Nielson; Hanne Riis Nielson; Fuyuan Zhang

doi:10.1007/978-3-030-22348-9_7

Multi-valued Logic for Static Analysis and Model Checking

Flemming Nielson
, Hanne Riis Nielson
, Fuyuan Zhang

Research output: Chapter in Book/Report/Conference proceeding › Chapter

2 Citations (Scopus)

Abstract

We extend Alternation-Free Least Fixed Point Logic to be based on Belnap logic, while maintaining the close correspondence between static analysis and model checking pioneered by Bernhard Steffen, and opening up for handling access control policies central to the construction of secure IT systems.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Verlag
Pages	89-109
Number of pages	21
DOIs	https://doi.org/10.1007/978-3-030-22348-9_7
Publication status	Published - 2019
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11200 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-030-22348-9_7

Cite this

Nielson, F., Nielson, H. R., & Zhang, F. (2019). Multi-valued Logic for Static Analysis and Model Checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 89-109). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11200 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-030-22348-9_7

Multi-valued Logic for Static Analysis and Model Checking. / Nielson, Flemming; Nielson, Hanne Riis; Zhang, Fuyuan.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2019. p. 89-109 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11200 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Nielson, F, Nielson, HR & Zhang, F 2019, Multi-valued Logic for Static Analysis and Model Checking. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11200 LNCS, Springer Verlag, pp. 89-109. https://doi.org/10.1007/978-3-030-22348-9_7

Nielson F, Nielson HR, Zhang F. Multi-valued Logic for Static Analysis and Model Checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2019. p. 89-109. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-22348-9_7

Nielson, Flemming ; Nielson, Hanne Riis ; Zhang, Fuyuan. / Multi-valued Logic for Static Analysis and Model Checking. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, 2019. pp. 89-109 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{a5e876c92aad44bea36ce0c3b122e854,

title = "Multi-valued Logic for Static Analysis and Model Checking",

abstract = "We extend Alternation-Free Least Fixed Point Logic to be based on Belnap logic, while maintaining the close correspondence between static analysis and model checking pioneered by Bernhard Steffen, and opening up for handling access control policies central to the construction of secure IT systems.",

author = "Flemming Nielson and Nielson, \{Hanne Riis\} and Fuyuan Zhang",

note = "Publisher Copyright: {\textcopyright} 2019, Springer Nature Switzerland AG.",

year = "2019",

doi = "10.1007/978-3-030-22348-9\_7",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "89--109",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "Germany",

}

TY - CHAP

T1 - Multi-valued Logic for Static Analysis and Model Checking

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

AU - Zhang, Fuyuan

PY - 2019

Y1 - 2019

N2 - We extend Alternation-Free Least Fixed Point Logic to be based on Belnap logic, while maintaining the close correspondence between static analysis and model checking pioneered by Bernhard Steffen, and opening up for handling access control policies central to the construction of secure IT systems.

AB - We extend Alternation-Free Least Fixed Point Logic to be based on Belnap logic, while maintaining the close correspondence between static analysis and model checking pioneered by Bernhard Steffen, and opening up for handling access control policies central to the construction of secure IT systems.

UR - https://www.scopus.com/pages/publications/85067955940

UR - https://www.scopus.com/pages/publications/85067955940#tab=citedBy

U2 - 10.1007/978-3-030-22348-9_7

DO - 10.1007/978-3-030-22348-9_7

M3 - Chapter

AN - SCOPUS:85067955940

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 89

EP - 109

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Verlag

ER -

Multi-valued Logic for Static Analysis and Model Checking

Abstract

Publication series

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this