Ameliorating the state explosion problem

Authors:
Kedar Sharad Namjoshi;E. Allen Emerson
Affiliations:
-;-
Venue:
Ameliorating the state explosion problem
Year:
1998

Citing 0
Cited 1

Compositional Termination Analysis of Symbolic Forward Analysis

VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation

Quantified Score

Hi-index	0.00

Visualization

Abstract