'Symmetry reduction' presentation slideshows

272: Software Engineering Fall 2012

272: Software Engineering Fall 2012. Instructor: Tevfik Bultan Lecture 2: Software Verification with JPF, ALV and Design for Verification. Model Checking Evolution. Earlier model checkers had their own input specification languages For example Spin, SMV

743 views • 56 slides

Automatically Exploring Structural Symmetry in Symbolic Trajectory Evaluation

Automatically Exploring Structural Symmetry in Symbolic Trajectory Evaluation. Yongjian Li The State Key Laboratory of Computer Science Chinese Academy of Sciences William N. N. Hung Synopsys Inc. Xiaoyu Song Portland State University

410 views • 34 slides

Fei Xie and James C. Browne Dept. of Computer Sciences Univ. of Texas at Austin

Integrated State Space Reduction for Model Checking Executable Object-oriented Software System Designs. Fei Xie and James C. Browne Dept. of Computer Sciences Univ. of Texas at Austin. Presentation Agenda. Problem Our Approach Evaluation Related Work Conclusions and Future Work. Problem.

390 views • 32 slides

Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks

Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. Pao-Ann Hsiung*, Win-Bin See, Trong-Yen Lee, Jih-Ming Fu, and Sao-Jie Chen *National Chung Cheng University Chiayi-621, Taiwan. Asia-Pacific Software Engineering Conference, December 2001, Macau.

455 views • 31 slides

Brian Nielsen Kim Guldstrand Larsen Arne Skou

501 views • 26 slides

Mur ? : A Retrospective

Mur ? : A Retrospective. Prof. David L. Dill Department of Computer Science Stanford University http://www.verifiedvoting.org. Mur ?. Freeware system produced by our research group. Explicit-state model checker for simple safety properties. Widely used for cache coherence problems

360 views • 18 slides

General Techniques for Symmetry Reduction in Model Checking

General Techniques for Symmetry Reduction in Model Checking. Alastair Donaldson Alice Miller Department of Computing Science University of Glasgow. Model Checking. System design or code. Requirements. manual. Finite state model M. Set of logical properties. for each property ?.

365 views • 17 slides