answersLogoWhite

0

What are kripke structures used for?

User Avatar

Anonymous

14y ago
Updated: 8/18/2019

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.

User Avatar

Wiki User

14y ago

What else can I help you with?