Model Checking, Finance.
Verification for Reactive Systems Reactive systems, such as financial contracts, are software systems that respond to environmental inputs and produce outputs that affect the environment. Model checking is a formal verification technique that turns programs into automata and checks whether they