Multi-valued Logic for Static Analysis and Model Checking

Flemming Nielson*, Hanne Riis Nielson, Fuyuan Zhang

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


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 languageEnglish
Title of host publicationModels, Mindsets, Meta: The What, the How, and the Why Not?
Publication date1 Jan 2019
ISBN (Print)978-3-030-22348-9
Publication statusPublished - 1 Jan 2019
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11200 LNCS

Fingerprint Dive into the research topics of 'Multi-valued Logic for Static Analysis and Model Checking'. Together they form a unique fingerprint.

Cite this