Formal specification of hypotheses for assisting computer simulation studies.

Fabian Lorig Colja A. Becker Ingo J. Timm

Published in: SpringSim (TMS) (2017)

Keyphrases

simulation study
formal specification
model checking
object oriented design
specification language
specification languages
formal methods
process algebra
monte carlo
concurrent systems
data abstraction
reverse engineering
business rules
open source
inverted pendulum