Browsing by Subject "validation"
Now showing items 1-3 of 3
-
Counterexample Computation in Compositional Nonblocking Verification
(Elsevier, 2018)This paper describes algorithms to compute a counterexample when compositional nonblocking verification determines that a discrete event system is blocking. Counterexamples are an important feature of model checking that ... -
Methodological limitations in the evaluation of policies to reduce nitrate leaching from New Zealand agriculture
(Wiley, 2013)The land-use optimisation framework, NZFARM, has been promoted as a tool that can be used to assess the economic and environmental impacts of policy on regional land use. This paper outlines how methodological limitations ... -
A process for the development and application of simulation models in applied economics
(Blackwell Publishing, 2013)Simulation models are widely used in applied economics to improve understanding of how a system could behave under different conditions. However, the potential degree to which such models can influence decision making ...
