Abstract: We describe new techniques for model checking in the counterexample-guided abstraction-refinement framework. The abstraction phase "hides" the logic of various variables, hence considering ...
Abstract: This letter reveals the incorrect argumentation, erroneous mathematical calculations, and misleading observations reported in the article titled “Counterexample to Passivity Preservation for ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback