Book chapter
Multi-valued Logic for Static Analysis and Model Checking
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.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2019 |
Pages: | 89-109 |
Series: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Journal subtitle: | Essays Dedicated To Bernhard Steffen on the Occasion of His 60th Birthday |
ISBN: | 3030223477 , 3030223485 , 9783030223472 and 9783030223489 |
ISSN: | 03029743 |
Types: | Book chapter |
DOI: | 10.1007/978-3-030-22348-9_7 |
ORCIDs: | Nielson, Flemming and Nielson, Hanne Riis |