Example models
Complete URDAD models, each showing a different side of the method and the tool. Every diagram is drawn by the tool from the model, and every model can be downloaded and imported into it, along with the documentation the tool generates from it.
A simple bank
A minimal bank modelled in URDAD, small enough to read in one sitting and complete enough that it leaves nothing unsaid without saying why.
A motor insurer
A motor insurer modelled in URDAD to be run: clients onboard, insure a vehicle, name its drivers, claim against the policy and ask for a claims report.
