Index of Isabelle/HOL/Jinja/HRB-Slicing
Up
to index of Isabelle/HOL/Jinja
View
theory dependencies
View
document
View
outline
Theories
AuxLemmas
BasicDefs
CFG
CFGExit
CFG_wf
CFGExit_wf
SemanticsCFG
ReturnAndCallNodes
Observable
Postdomination
SDG
HRBSlice
SCDObservable
Distance
Slice
WeakSimulation
FundamentalProperty
Com
ProcState
PCFG
WellFormProgs
Interpretation
Labels
WellFormed
ValidPaths
ProcSDG
JVMCFG
JVMInterpretation
JVMCFG_wf
JVMPostdomination
JVMSDG
HRBSlicing
Sessions
InformationFlowSlicing_Inter