Variable graph minimization for improved model-checking...

Details Variable graph minimization for improved model-checking... Variable graph minimization for improved model-checking...

2005-09-27

2009-12-29

Yigdall, Michael J (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S154000, C717S159000, C714S038110

Reexamination Certificate

active

07640536

ABSTRACT:
A method of verifying properties of a source program includes creating a directed multigraph from the source program. The directed multigraph is then minimized by identifying removable vertices in the multigraph. Based on the minimization of the directed multigraph, the source program is transformed by inlining variables in the source program to produce a transformed program. The transformed program is then model checked using a model checking tool in order to verify properties of the source program.

REFERENCES:
patent: 5710927 (1998-01-01), Robison
patent: 6185516 (2001-02-01), Hardin et al.
patent: 6904590 (2005-06-01), Ball et al.
patent: 6957404 (2005-10-01), Geist et al.
patent: 7131085 (2006-10-01), Farkash et al.
patent: 7340473 (2008-03-01), Paruthi et al.
patent: 7346486 (2008-03-01), Ivancic et al.
Felt, E. et al., “Dynamic Variable Reordering for BDD Minimization,” Proceedings of the European Design Automation Conference, pp. 130-135, Sep. 1993.
Ishiura, N. et al., “Minimization of Binary Decision Diagrams Based on Exchanges of Variables,” Proceedings of the International Conference on Computer-Aided Design, pp. 472-475, Nov. 1991.
Murthy, P. et al., “Joint Minimization of Code and Data for Synchronous Dataflow Programs,” Formal Methods in System Design, vol. 11, No. 1, pp. 41-70, Jul. 1997.
Eijk et al., C. A. J., “Exploiting Functional Dependencies in Finite State Machine Verification”, in Proceedings of the 1996 European conference on Design and Test, IEEE Computer Society, pp. 9-15, 1996.
Halbwachs et al., N. “The synchronous dataflow programming language LUSTRE”, Proceedings of the IEEE, vol. 79, No. 9, pp. 1305-1320, Sep. 1991.
Hu et al., A. J., “Reducing BDD Size by Exploiting Functional Dependencies”, in Proceedings of the 30thInternational Conference on Design Automation, Dallas, Texas, United States, pp. 266-271, 1993.
Tip, F., “A Survey of Program Slicing Techniques”, Technical Report CS-R9438, Centrum voor Wiskunde en Informatica, 1994.

Affiliated with

Also associated with

Rating

Variable graph minimization for improved model-checking... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Variable graph minimization for improved model-checking..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Variable graph minimization for improved model-checking... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4073315