Slicing Reduction for Algebraic Verification of SEREs Properties

Li Zhong Hu; Ning Zhou; An Ping He; Xin Yan Gao

doi:10.4028/www.scientific.net/AMR.850-851.792

Paper Titles

A Fast Algorithm Research of Moving Targets Detection Based on GPU
p.776

Object Tracking Based on Dual-View Stereo System
p.780

The Algorithm Research of Lip Behavior Detection Based on LBP Operator
p.784

An Improved BP Neural Network Algorithm and its Application in Competitive Advantage Evaluation of Logistics Enterprises
p.788

Slicing Reduction for Algebraic Verification of SEREs Properties
p.792

Synchronization of a Fractional-Order System with Unknown Parameters
p.796

The Calculation of Fourth-Rank Constitutive Parameters of Consistent Tangent Modulus and Plastic Modulus in Finite Element Analysis
p.800

Location and Distance Measurement of Door Handle in HSI Color Space
p.804

An Improved Particle Swarm Optimization Algorithm
p.809

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 850-851Slicing Reduction for Algebraic Verification of...

Slicing Reduction for Algebraic Verification of SEREs Properties

Abstract:

Slicing reduction of a system is a technique, which advantage is that the detection can be performed on the part of the global state space which is of interest. In this paper, we present an algorithm which applies the slicing reduction technique to an algebraic verification method for SEREs properties. Due to slicing reduction, the algebraic verification algorithm only requires a part of state variables relevant to the SEREs properties, which can significantly improve the efficiency of the verification algorithm.

You might also be interested in these eBooks

Advances in Applied Sciences and Manufacturing

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 850-851)

Pages:

792-795

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.850-851.792

Citation:

Cite this paper

Online since:

December 2013

Authors:

Li Zhong Hu*, Ning Zhou, An Ping He, Xin Yan Gao

Keywords:

Algebraic Verification, SERE, Slicing Reduction

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Ning Zhou, Xinyan Gao, Jinzhao Wu. Applying Wu's Method to Symbolic Simulation for Boolean Layer PSL Assertion Checking. Journal of Convergence Information Technology, v7, n4(2012), pp.271-279.

DOI: 10.4156/jcit.vol7.issue4.33

Google Scholar

[2] Xinyan Gao, Ning Zhou, FengQi Li, and Dakui Li. Combining Symbolic Simulation and Groebner Bases Approach for constrained PSL property Verification. Lecture Notes in Electrical Engineering, v 136 (2012), pp.377-384.

DOI: 10.1007/978-3-642-26001-8_49

Google Scholar

[3] Ning Zhou, Jinzhao Wu, and Xinyan Gao. Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches. Journal of Applied Mathematics, Volume 2013(2013), Article ID 272781.

DOI: 10.1155/2013/272781

Google Scholar

[4] Weiser, M. Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. PhD thesis, University of Michigan (1979).

Google Scholar

[5] M. Weiser. Programmers Use Slices when Debugging. Communications of the ACM (CACM), 25(7) (1982), pp.446-452.

DOI: 10.1145/358557.358577

Google Scholar

[6] J. L. D. Cox and D. Oshea. Ideals, Varities, and Algorithms. Springer Verlag, NewYork(1992).

Google Scholar