Paper Info
Title
Flash-Efficient LTL Model Checking with Minimal Counterexamples
Abstract
In this tutorial we will consider abstract non-interference as a formal model for reasoning about language based security. Abstract non-interference generalises standard non-interference by modelling the information leaked as abstract properties of concrete ...
Year
DOI
Venue
2008
10.1109/SEFM.2008.34
SEFM
Keywords
Field
DocType
abstract non-interference,flash-efficient ltl model checking,abstract property,standard non-interference,minimal counterexamples,formal model,random access,linear temporal logic,temporal logic,formal verification,external memory,model checking,hash function
Flash memory,Model checking,Computer science,Algorithm,Linear temporal logic,Theoretical computer science,Minimal counterexample,Perfect hash function,Hash function,Random access,Auxiliary memory
Conference
Citations 
PageRank 
References 
7
0.42
22
Authors
2
Name
Order
Citations
PageRank
Stefan Edelkamp11557125.46
Damian Sulewski2876.45