Welcome to the world of NHK^#

-A novel model checking tool-

Applied science in building a system

Business Process Modelling

The model checking tool enables simulation of business processes written in BPMN, Petri net, sequence diagram, decision table, etc. The simulation is helpful to be aware of the flow of information on processes and provide stimuli to safety training.

Validation and Verification Check

Check the satisfiability on properties written in linear temporal logic(LTL), and report counterexamples. When you inject faults into the processes, the tool also works.

Using Mathematical Techniques Can Help

Formal methods in software engineering are mathematical techniques employed in building a system to make it more reliable and robust. The method also works on the verification of a business process.