2018 conference paper

State-based formal methods in scientific computation

In M. Butler, A. Raschke, T. S. Hoang, & K. Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (pp. 392–396).

By: J. Baugh n & T. Dyer n

Ed(s): M. Butler, A. Raschke, T. Hoang & K. Reichl

Event: at Cham

Source: ORCID
Added: December 6, 2018

Control systems, protocols, and hardware design are among the most common applications of state-based formal methods, and yet the types of modeling and analysis they enable are also well-suited to problems in scientific computation, where quality, reproducibility, and productivity are growing concerns. We survey the challenges faced by developers of scientific software, characterize the nature of the programs they write, and offer some perspective on the role that state-based methods can play in scientific domains.