500 likes | 799 Views
What is Symbolic Model Checking?. Trading in one difficulty...The state explosion problem...for another difficulty.PSPACE completeness of QBF. Theoreticians are nonplused... . Another view. Abstract interpretationCompute an approximation of the collecting semantics as a fixed pointSymbolic mode
E N D