Formal software development in the Verification Support Environment (VSE)

Author： Hutter Dieter Langenstein Bruno Rock Georg Siekmann Jörg H. Stephan Werner Vogt Roland

ISSN： 1362-3079

Source： Journal of Experimental & Theoretical Artificial Intelligence, Vol.12, Iss.4, 2000-10, pp. : 383-406

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

A comparative study of formal verification techniques for software architecture specifications

By Tsai J.J.P. Xu K.

Annals of Software Engineering, Vol. 10, Iss. 1-4, 2000-01 ,pp. : 207-223

Springer Publishing Company

Access to resources Recommend Favorite

Towards dependable development tools for embedded systems: a case study in software verification

By Petermann Uwe

Journal of Experimental & Theoretical Artificial Intelligence, Vol. 12, Iss. 4, 2000-10 ,pp. : 489-498

Taylor & Francis Ltd

Access to resources Recommend Favorite

Coverage metrics for formal verification

By Chockler Hana Kupferman Orna Vardi Moshe

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 373-386

Springer Publishing Company

Access to resources Recommend Favorite

Application framework support for process-oriented software development

By Tegegne Abel Peyton Liam

International Journal of Electronic Business, Vol. 10, Iss. 3, 2013-01 ,pp. : 232-253

Inderscience Publishers

Access to resources Recommend Favorite