jackson-daley documents

Model Checking Lecture 4. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking
Documents Model Checking Lecture 4. Outline 1 Specifications: logic vs. automata, linear vs. branching, safety vs. liveness 2 Graph algorithms for model checking
1998.07.03 Kazunori Konishi NOC Director of APAN-JP Consortium konishi@jp.apan.net Seoul NOC Report
Documents 1998.07.03 Kazunori Konishi NOC Director of APAN-JP Consortium [email protected] Seoul NOC Report