In the field of formal verification, they're used for simulating systems and reasoning about them. The code of the system is translated into a kripke structure and then a tool checks if the structure meets the specification.
Chat with our AI personalities