Presentation on theme: "SpecDiff: Differencing LTSs Zhenchang Xing *, Jun Sun +, Yang Liu * and Jin Song Dong * * National University of Singapore + Singapore University of Technology."— Presentation transcript:
SpecDiff: Differencing LTSs Zhenchang Xing *, Jun Sun +, Yang Liu * and Jin Song Dong * * National University of Singapore + Singapore University of Technology and Design
Diagnosing Faulty Program Evolution Black: matched states/transitions in both LTSs; Green: unmatched states/transitions in the earlier-version LTS; Red: unmatched states/transitions in the later-version LTS
Tool Support & Usage Formal Tool Demonstration, ASE’10
Initial Evaluation The evolution of a concurrent stack The application of partial order reduction The application of process counter abstraction Three pilot-study scenarios Debugging faulty program evolution Understanding the impacts of state reduction techniques Revealing behavioral change patterns in the verification of parameterized systems SpecDiff assists in
Your consent to our cookies if you continue to use this website.