Timeline for What exactly is Symbolic Model Checking?
Current License: CC BY-SA 3.0
13 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 24, 2018 at 7:37 | vote | accept | Xpleria | ||
| Jun 23, 2018 at 5:14 | answer | added | Lance Pollard | timeline score: 6 | |
| Mar 26, 2015 at 16:12 | history | tweeted | twitter.com/#!/StackCompSci/status/581126582917558272 | ||
| Mar 26, 2015 at 14:57 | answer | added | Nadim Kobeissi | timeline score: 6 | |
| Mar 22, 2015 at 16:11 | comment | added | Raphael | You may be on the wrong site then. Computer science is about the concepts ("how it should be done"), you'll have to ask practitioners about the "how it's done" part. | |
| Mar 22, 2015 at 12:31 | comment | added | hengxin | Another book "Logic in Computer Science" (Chapter 6, especially Section 6.3) contains some examples. Are them helpful for you? | |
| Mar 22, 2015 at 11:56 | comment | added | Xpleria | They speak about 'how it is supposed to be done' but not 'how exactly it is done'. I'm trying to relate the theory and the practical implementation. I'm still new to this and I need an example. | |
| Mar 22, 2015 at 11:53 | comment | added | hengxin | Why are you not satisfied with the description of Symbolic Model Checking in standard textbook, e.g., "Principles of Model Checking" by Christel Baier and Joost-Pieter Katoen? Which parts are you confused about? | |
| Mar 22, 2015 at 11:17 | comment | added | Xpleria | But an example can be taken and explained based on that. That is not too broad. | |
| Mar 22, 2015 at 11:06 | comment | added | Raphael | This seems to broad to me. The "what does it do?" part may be reasonable scoped (or not), but "where is it used?" is a) another question entirely and b) probably too broad. | |
| Mar 22, 2015 at 11:05 | history | edited | Raphael |
edited tags
|
|
| Mar 22, 2015 at 8:17 | review | First posts | |||
| Mar 22, 2015 at 8:39 | |||||
| Mar 22, 2015 at 8:14 | history | asked | Xpleria | CC BY-SA 3.0 |