Reliable software development: analysis-aware design

Authors:
Gerard J. Holzmann
Affiliations:
Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA
Venue:
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Year:
2011

Citing 6
Cited 1

The Temporal Rover and the ATG Rover

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
A historical perspective on runtime assertion checking in software development

ACM SIGSOFT Software Engineering Notes
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
Model driven code checking

Automated Software Engineering
VCC: A Practical System for Verifying Concurrent C

TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
Swarm Verification Techniques

IEEE Transactions on Software Engineering

Monitoring aspects for the customization of automatically generated code for big-step models

Proceedings of the 10th ACM international conference on Generative programming and component engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The application of formal methods in software development does not have to be an all-or-nothing proposition. Progress can be made with the introduction of relatively unobtrusive techniques that simplify analysis. This approach is meant replace traditional analysis-agnostic coding with an analysis-aware style of software development.