Secret Ninja Formal Methods

Authors:
Joseph R. Kiniry;Daniel M. Zimmerman
Affiliations:
School of Computer Science and Informatics, University College Dublin, Belfield, Dublin, Ireland 4;Institute of Technology, University of Washington, Tacoma, Washington, USA 98402
Venue:
FM '08 Proceedings of the 15th international symposium on Formal Methods
Year:
2008

Citing 6
Cited 5

Comments, assertions and pragmas

ACM SIGPLAN Notices
Seamless object-oriented software architecture: analysis and design of reliable systems

Seamless object-oriented software architecture: analysis and design of reliable systems
Design by Contract: The Lessons of Ariane

Computer
An overview of JML tools and applications

International Journal on Software Tools for Technology Transfer (STTT) - Special section on formal methods for industrial critical systems
An integrated verification environment for JML: architecture and early results

Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
ESC/Java2: uniting ESC/Java and JML

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations

CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Teaching Program Specification and Verification Using JML and ESC/Java2

TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Verified gaming

Proceedings of the 1st International Workshop on Games and Software Engineering
Secret ninja testing with HALO software engineering

Proceedings of the 4th international workshop on Social software engineering
Testing library specifications by verifying conformance tests

TAP'12 Proceedings of the 6th international conference on Tests and Proofs

Quantified Score

Hi-index	0.00

Visualization

Abstract

The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric for use in undergraduate classes. This paper describes a method, used successfully at several universities, that combines ninja stealth with the latest advances in formal methods tools and technologies to integrate applied formal methods into software engineering courses.