Publisher
Springer International Publishing
Reference11 articles.
1. Alloy models from the paper.
http://www4.ncsu.edu/~jwb/alloy/
2. Altuntas, A., Baugh, J.: Verifying concurrency in an adaptive ocean circulation model. In: Proceedings of the First International Workshop on Software Correctness for HPC Applications, Correctness 2017, pp. 1–7. ACM (2017)
3. Baugh, J., Altuntas, A.: Formal methods and finite element analysis of hurricane storm surge: a case study in software verification. Sci. Comput. Program. (2017, in press).
https://doi.org/10.1016/j.scico.2017.08.012
4. Baugh, J., Liu, S.: A general characterization of the hardy cross method as sequential and multiprocess algorithms. Structures 6, 170–181 (2016)
5. Cross, H.: Analysis of continuous frames by distributing fixed-end moments. In: Proceedings of the American Society of Civil Engineers, pp. 919–928 (1930)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bounded Verification of Sparse Matrix Computations;2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness);2019-11
2. Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software;2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness);2018-11