Journal article icon

Journal article

Editorial.

Abstract:

The importance of verification for software products is being increasingly appreciated in industry, although still not as much as necessary to become a standard development approach for industrial-scale high-quality software. The VSTTE series of conferences and workshops focuses on the challenge of verifying software systems. Within VSTTE, the scope of the Tools workshop includes implementations and enabling techniques for program verifiers, which are important ingredients for the disseminati...

Expand abstract
Publication status:
Published

Actions


Access Document


Publisher copy:
10.1007/s00165-011-0201-8

Authors


Kroening, D More by this author
Margaria, T More by this author
Woodcock, J More by this author
Journal:
Formal Asp. Comput.
Volume:
23
Issue:
16-18
Pages:
585-588
Publication date:
2011
DOI:
EISSN:
1433-299X
ISSN:
0026-8976
URN:
uuid:bd637627-4130-44cd-a711-4680f48fe047
Source identifiers:
61357
Local pid:
pubs:61357
Language:
English

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP