|
|
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 |
|
|