SNR 2015:Keyword Index

KeywordPapers
A
abstract interpretationAbstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
abstraction refinementAn Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
B
Bounded Model CheckingProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
C
constraint solvingVerification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
E
ellipsoidal representationA Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
H
hybrid systemVerification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
I
interval arithmeticsProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
M
model checkingAn Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
N
Nonstandard AnalysisAbstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
Q
Quantitative abstractionsAn Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
R
reachability analysisVerification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
A Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
S
Satisfiability Modulo TheoryProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
stability analysisAn Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary
stochastic hybrid systemProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Stochastic Satisfiability Modulo TheoryVerification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain
support function representationA Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels
Symbolic AnalysisAbstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis
V
viability theoryA Summary of Recent Progress on Efficient Parametric Approximations of Viability and Discriminating Kernels