Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
cs-486:topics-and-objectives [2017/09/05 15:49]
egm
cs-486:topics-and-objectives [2017/09/05 15:50] (current)
egm
Line 34: Line 34:
 **Show how to obtain a witness or counterexample to a property in symbolic model checking. **Show how to obtain a witness or counterexample to a property in symbolic model checking.
 *Model checking and automata theory. *Model checking and automata theory.
 +**Verify properties of PROMELA models using the SPIN model checker
 **Describe the difference between finite automata and Buchi automata. **Describe the difference between finite automata and Buchi automata.
 **Explain the need for Buchi automata in LTL model checking. **Explain the need for Buchi automata in LTL model checking.
cs-486/topics-and-objectives.txt ยท Last modified: 2017/09/05 15:50 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0