1 citations · 1 across the 8 of their papers we have counts for
1 paper · 2 filters
Nicolas Fröhlich, Arne Meier
Expressing system specifications using Computation Tree Logic (CTL) formulas, formalising programs using Kripke structures, and then model checking the system is an established wor…