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

^*Corresponding author for this work

Department of Applied Mathematics and Computer Science

Nanyang Technological University

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

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	Models, Mindsets, Meta: The What, the How, and the Why Not?
Publisher	Springer
Publication date	1 Jan 2019
Pages	89-109
ISBN (Print)	978-3-030-22348-9
DOIs	https://doi.org/10.1007/978-3-030-22348-9_7
Publication status	Published - 1 Jan 2019

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11200 LNCS
ISSN	0302-9743

Access to Document

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

OpenUrl availability

Full text

Cite this

@inbook{8724707fb0904d129065acb96db28a74,

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",

year = "2019",

month = jan,

day = "1",

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

language = "English",

isbn = "978-3-030-22348-9",

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

publisher = "Springer",

pages = "89--109",

booktitle = "Models, Mindsets, Meta: The What, the How, and the Why Not?",

}

Nielson, F, Nielson, HR & Zhang, F 2019, Multi-valued Logic for Static Analysis and Model Checking. in Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11200 LNCS, pp. 89-109. 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.
Models, Mindsets, Meta: The What, the How, and the Why Not?. Springer, 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 › Book chapter › Research › peer-review

TY - CHAP

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

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

AU - Zhang, Fuyuan

PY - 2019/1/1

Y1 - 2019/1/1

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.

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

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

M3 - Book chapter

AN - SCOPUS:85067955940

SN - 978-3-030-22348-9

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

SP - 89

EP - 109

BT - Models, Mindsets, Meta: The What, the How, and the Why Not?

PB - Springer

ER -

Multi-valued Logic for Static Analysis and Model Checking

Abstract

Access to Document

OpenUrl availability

Fingerprint

Cite this