F He, S Mao, BY Wang - International Conference on Computer Aided …, 2016 - Springer
Due to enormous resource consumption, model checking each revision of evolving systems
repeatedly is impractical. To reduce cost in checking every revision, contextual assumptions …