Formal Methods & Testing

@inproceedings{Airchinnigh1993FormalM,
  title={Formal Methods & Testing},
  author={Mı́che{\'a}l Mac an Airchinnigh},
  year={1993}
}
  • Mı́cheál Mac an Airchinnigh
  • Published 1993
The tutorial addresses one of the key technologies, formal methods, that is reaching maturity in the software engineering domain, even to the extent that developers of safety critical systems may be open to special litigation in the event of accident/failure, if it can be shown that they have not taken all reasonable precautions in building their system. The use of a formal method does not obviate the need for testing, but it can serve as an innovative framework for better testing. Requirements… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 29 references

Tutorial Lecture Notes on the Irish School of the VDM

M Mac An Airchinnigh
VDM'91, Formal Software Development Methods • 1991
View 15 Excerpts
Highly Influenced

Ph.D. Thesis: Conceptual Models and Computing

M Mac An Airchinnigh
Ph.D. Thesis: Conceptual Models and Computing • 1990
View 8 Excerpts
Highly Influenced

Basic Algebra I

N Jacobson
Basic Algebra I • 1985
View 6 Excerpts
Highly Influenced

Genius, Richard Feynman and Modern Physics

J Gleick
Genius, Richard Feynman and Modern Physics • 1992
View 3 Excerpts
Highly Influenced

The Vienna Development Method: The Meta-Language

Lecture Notes in Computer Science • 1978
View 3 Excerpts
Highly Influenced

Meme Media and its World-wide Pool for the Exchange and Evolution of Knowledge

Y Tanaka
Proceedings of the 20th International Conference with Summer School • 1995
View 1 Excerpt

The L A T E X jCompanion

M Goossens, F Mittelbach, A Samarin
The L A T E X jCompanion • 1994
View 1 Excerpt

Ph.D. Thesis: Model Oriented Specification of Communicating Agents

W J Toetenel
Ph.D. Thesis: Model Oriented Specification of Communicating Agents • 1992
View 1 Excerpt

Software Engineering Standards: the 'Formal Methods Debate' in the UK

M Tierney
Technology Analysis & Strategic Management • 1992
View 2 Excerpts

Similar Papers

Loading similar papers…