SCSC2003 Abstract S91675
Practical Application of Formal Methods in Modeling and Simulation
Submitting Author: Mr. David Kuhn
Abstract:
This paper provides an introduction to applying formal methods to modeling and simulation problems at reasonable cost. Two approaches are discussed. First, lightweight formal methods combine simplified specification approaches with automated analysis, making it possible to analyze requirements and designs early in the development cycle. Second, by hiding the complexity of the formal models and providing the analytical results solely in terms understood by domain experts, new formal tools provide rapid feedback to requirements teams and developers.
Back to SCSC2003 Abstracts