New Approaches for Software Model-Checking
Ue J · Microcomputer Information · 2007
Software model- checking catches attentions of academia and industrial community for its latent trade value. By analyzing SLAM, some theories and key techniques for software model- checking are discussed, and some new strategies to optimize it are pre- sented at last.