An Integrated Approach to High Integrity Software Verification

Author： Ireland Andrew Ellis Bill Cook Andrew Chapman Roderick Barnes Janet

ISSN： 0168-7433

Source： Journal of Automated Reasoning, Vol.36, Iss.4, 2006-04, pp. : 379-410

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

Experience report: evolution of a web‐integrated software development and verification environment

SOFTWARE:PRACTICE AND EXPERIENCE, Vol. 45, Iss. 6, 2015-06 ,pp. : 857-872

John Wiley & Sons Inc

Access to resources Recommend Favorite

An integrated high-level hardware/software partitioning methodology

By Abdelhalim M. Habib S.

Design Automation for Embedded Systems, Vol. 15, Iss. 1, 2011-03 ,pp. : 19-50

Springer Publishing Company

Access to resources Recommend Favorite

Mechanical Software Verification - High Level Control Aspects from a User's Perspective

By Goerigk W.

Electronic Notes in Theoretical Computer Science, Vol. 58, Iss. 2, 2004-01 ,pp. : 1-21

Elsevier

Access to resources Recommend Favorite

Integrated Biometric Verification System Using Soft Computing Approach

By Wahab A. Ng G. Jonatan A.

Neural Processing Letters, Vol. 25, Iss. 2, 2007-04 ,pp. : 111-126

Springer Publishing Company

Access to resources Recommend Favorite

Deductive verification of cryptographic software

By Almeida José

Innovations in Systems and Software Engineering, Vol. 6, Iss. 3, 2010-09 ,pp. : 203-218

Springer Publishing Company

Access to resources Recommend Favorite