Verification conditions are code

ISSN： 0001-5903

Source： Acta Informatica, Vol.43, Iss.6, 2007-01, pp. : 431-447

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

Related content

Simplification of boolean verification conditions

By Gribomont E.P.

Theoretical Computer Science, Vol. 239, Iss. 1, 2000-05 ,pp. : 165-185

Elsevier

Access to resources Recommend Favorite

Integrated static code analysis and runtime verification

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 10, 2015-10 ,pp. : 1359-1373

John Wiley & Sons Inc

Access to resources Recommend Favorite

Approximated parameterized verification of infinite-state processes with global conditions

By Abdulla Parosh Delzanno Giorgio Rezine Ahmed

Formal Methods in System Design, Vol. 34, Iss. 2, 2009-04 ,pp. : 126-156

Springer Publishing Company

Access to resources Recommend Favorite

Dealing with data dependent conditions to enable general global source code transformations

By Palkovic Martin

International Journal of Embedded Systems, Vol. 4, Iss. 1, 2009-07 ,pp. : 27-39

Inderscience Publishers

Access to resources Recommend Favorite

Verification in the Classroom

By Walther Christoph Schweitzer Stephan

Journal of Automated Reasoning, Vol. 32, Iss. 1, 2004-01 ,pp. : 35-73

Springer Publishing Company

Access to resources Recommend Favorite