User loginNavigation |
The SPIN model checker and PromelaI just happened to notice that the 13th International SPIN Workshop is coming up. While model checking is kind of off topic, it made me think about SPIN's model checking language Promela. From the Promela Reference manual: The language allows for the dynamic creation of concurrent processes. Communication via message channels can be defined to be synchronous (i.e., rendez-vous), or asynchronous (i.e., buffered) Gerard J. Holzmann's excellent book: The SPIN Model Checker has a complete reference to this interesting C-like language with CSP influenced extensions. By Todd Coram at 2006-02-16 01:04 | LtU Forum | previous forum topic | next forum topic | other blogs | 8016 reads
|
Browse archives
Active forum topics |
Recent comments
12 weeks 1 day ago
12 weeks 1 day ago
12 weeks 1 day ago
34 weeks 2 days ago
38 weeks 4 days ago
40 weeks 2 days ago
40 weeks 2 days ago
42 weeks 6 days ago
47 weeks 4 days ago
47 weeks 4 days ago