Abstrakt. Vi presenterar Kripke modal övergångssystem (Kripke MTS), en generalisering av modal övergångssystem 25, 24], som en grund för trevärderade programanalys. Den semantik av Kripke MTS presenteras med hjälp av en blandad makt domän av stater; sundhet och konsekvens bevisas. Två stora tillämpningar, modellkontroll av deltillståndsutrymmen och trevärderad programformanalys, presenteras som bevis för Kripke MTS:s lämplighet som grund för trevärderade analyser.
Huth, Jagadeesan och Schmidt REF använder en generalisering av modala övergångssystem och en 3-värderad logik för modellkontroll av delstatsutrymmen.
Modal Transition Systems: A Foundation for Three-Valued Program Analysis
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}