software for setting parameters for hardware systems might not require complex logic. a language with formal verification would be a good idea in that case.