Symbolic method of verification of definite iterations over altered data structures

Author： Nepomniaschy V.  

Publisher： MAIK Nauka/Interperiodica

ISSN： 0361-7688

Source： Programming and Computer Software, Vol.31, Iss.1, 2005-01, pp. : 1-9

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A Method for Computing the Number of Iterations in Data Dependent Loops

By Curatelli Francesco   Mangeruca Leonardo  

Real-Time Systems, Vol. 32, Iss. 1-2, 2006-02 ,pp. : 73-104

Springer Publishing Company

Access to resources Recommend Favorite

Data structures for symbolic multi-valued model-checking

By Chechik Marsha   Gurfinkel Arie   Devereux Benet   Lai Albert   Easterbrook Steve  

Formal Methods in System Design, Vol. 29, Iss. 3, 2006-11 ,pp. : 295-344

Springer Publishing Company

Access to resources Recommend Favorite

Efficient verification of timed automata with BDD-like data structures

By Wang Farn  

International Journal on Software Tools for Technology Transfer, Vol. 6, Iss. 1, 2004-07 ,pp. : 77-97

Springer Publishing Company

Access to resources Recommend Favorite

Testing Data Management by "The Zone Verification Method on Results Distribution"

By Chiba Masashi   Horimoto Akira  

Journal of the Association for Laboratory Automation, Vol. 5, Iss. 5, 2000-11 ,pp. : 46-50

Association for Laboratory Automation

Access to resources Recommend Favorite

An Abstract Confinement Problem: A Programmed Iterations Method of Solution

By Chentsov A. G.  

Automation and Remote Control, Vol. 65, Iss. 2, 2004-02 ,pp. : 299-310

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite