Abstract:
The following topics are dealt with: program verification; formal verification; Java; program diagnostics; data analysis; automata theory; mobile robots; program interpre...Show MoreMetadata
Abstract:
The following topics are dealt with: program verification; formal verification; Java; program diagnostics; data analysis; automata theory; mobile robots; program interpreters; program compilers; helicopters.
Published in: 2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE)
Date of Conference: 27 May 2018 - 03 June 2018
Date Added to IEEE Xplore: 15 November 2018
ISBN Information:
ISSN Information:
Conference Location: Gothenburg, Sweden
Contents 