|
|
| TOPIC | NEWSLETTER NR. |
|
|
| Arithmetic on channel names | 9 |
| Alternating Automata | 40 |
| Book (Addison-Wesley 2003) | 37 |
| Breadth-First Search | 37 |
| Breakpoints in Xspin Simulations | 6 |
| CTL vs LTL | 4 |
| Commercial Spin Licenses | 33 |
| Computing Reachable Value Ranges | 7 |
| Dumping multiple error trails | 6 |
| Emacs mode | 20,38 |
| Embedded C code | 36,37 |
| Extensions for sleep-set based partial order reduction | 1 |
| Generating a Display of the Reachability Graph | 2 |
| Inline functions | 22 |
| Initialization of C data | 40 |
| Interactive Simulation | 4 |
| Interactive Simulation Replay with Expect | 5 |
| Internships at JPL | 40 |
| JSpin, a Java Based GUI for SPIN | 39,41 |
| Lecture Material on Model Checking | 39 |
| LTL conversion | 4 |
| Mac OS X installation instructions | 39 |
| Matching the value of a variable in a receive | 15 |
| Message Sequence Charts | 3 |
| Multi-hashing | 40 |
| Modeling Conditional Rendez-Vous Operations | 5 |
| New 'local' prefix | 25 |
| Non-progress cycle detection based on <>[] np_ | 14 |
| On Stuttering Semantics | 3 |
| Online Database of Spin Applications | 31 |
| PEP's link with Spin | 19 |
| Predefined variable _nr_pr | 28 |
| Procedures in Promela | 20 |
| Process Enabling Conditions | 7 |
| Process Simulation Priorities | 7 |
| Quickstart for long error trails | 6 |
| Random Receive and Channel Poll Operations | 5 |
| Real-Time Extensions based on the Alur-Dill algorithm | 1 |
| Related Tools: Feaver available | 36 |
| Related Tools: HSF-Spin | 33 |
| Related Tools: Modex available | 36 |
| Related Tools: P2B, Parspin | 32 |
| Related Tools: Uno available | 36 |
| Remote referencing the init process | 2 |
| Ruys Recipes | 33 |
| STDIN channel | 21 |
| Shortest path searches | 9 |
| Single-Bit Hashing, Changing Hash Functions | 6 |
| Slicing support with Spin option -A | 29 |
| Spin option -P | 18 |
| Spin options -M and -c | 19 |
| Spin version 4.0 Available | 35 |
| Spin version 4.1 Available | 39 |
| Spin version 4.2 Available | 40 |
| Spinroot.com | 35 |
| Stack cycling option | 25 |
| Statement merging in Spin v.3 | 25 |
| Steamer Boiler Problem | 9 |
| The New Book | 35 |
| The Semantics of Unless | 3 |
| Timeline Editor Tool | 34 |
| Translation from LTL to Never Claims | 7,40 |
| Workshop Proceedings | 41 |
|
|