State-Based Formal Methods in Scientific Computation

Abstract

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.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{BaughD18,
  author       = {John W. Baugh Jr. and
                  Tristan Dyer},
  editor       = {Michael J. Butler and
                  Alexander Raschke and
                  Thai Son Hoang and
                  Klaus Reichl},
  title        = {State-Based Formal Methods in Scientific Computation},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 6th International
                  Conference, {ABZ} 2018, Southampton, UK, June 5-8, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10817},
  pages        = {392--396},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91271-4\_29},
  doi          = {10.1007/978-3-319-91271-4\_29},
  timestamp    = {Mon, 16 Sep 2019 15:30:16 +0200},
  biburl       = {https://dblp.org/rec/conf/asm/BaughD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}