State-Based Formal Methods in Scientific Computation.

John W. Baugh Jr.Tristan Dyer

Published in: ABZ (2018)

Keyphrases

formal methods
formal analysis
model checking
artificial intelligence
databases
case study
software engineering
database
multi agent
modeling language
formal specification
safety critical
provably correct
process algebra