nmodel

How to encapsulate state variables in NModel?

I have a model program that represents message flow along a chain of servers: public class MyModel { static bool x_send_msg1 = false; // has X sent msg1? static bool y_recv_msg1 = false; // has Y received msg1? static bool y_send_msg1 = false; // has Y sent msg1? static bool z_send_msg1 = false; // has Z received msg1? ...

For reliable code, NModel, Spec Explorer, F# or other?

I've got a business app in C#, with unit tests. Can I increase the reliability and cut down on my testing time and expense by using NModel or Spec Explorer? Alternately, if I were to rewrite it in F# (or even Haskell), what kinds (if any) of reliability increase might I see? Code Contracts? ASML? I realize this is subjective, and p...