Slide 1 Shin Hong, KAIST17 th April,2007 1/33 Provable Software Laboratory, CS KAIST Slide 2 Contents Introduction PROMELA Linear Temporal Logic Automata-theoretic…
Shin Hong, KAIST 17th April,2007 */33 Provable Software Laboratory, CS KAIST Provable Software Laboratory, CS KAIST /33 / 33 Contents Introduction PROMELA Linear Temporal…