Leszek Holenderski  Home/Search
Context
Related
| win.tue.nl/~lhol/Symm...AdjustPan.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: win.tue.nl/~lhol/SymmSpin...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This document describes an important script used in SymmSpin - our experimental extension of Spin that deals with symmetric processes. The script accompanies the papers [1, 2]. It is implemented in Tcl. (Update)
Active bibliography (related documents): More All
0.5: Symmetric Spin - Bosnacki, Dams, Holenderski (2000) (Correct)
0.4: A Heuristic for Symmetry Reductions with Scalarsets - Bosnacki, Dams, Holenderski (2001) (Correct)
0.0: A Probabilistic Approach to Automatic Verification.. - Tronci, Penna.. (Correct)
Similar documents based on text: More All
0.5: Model Checking SDL with Spin - Bosnacki, Dams, Holenderski, Sidorova (2000) (Correct)
0.4: Formal Analysis of a Space Craft Controller using SPIN - Havelund, Lowry, Penix (1998) (Correct)
0.4: System Level Verification at Philips - Holenderski (2001) (Correct)
BibTeX entry: (Update)
@misc{ holenderski-adjustpan,
author = "Leszek Holenderski",
title = "The {AdjustPan} script",
url = "citeseer.ist.psu.edu/holenderski00adjustpan.html" }
Citations (may not include all citations):28 Better verication through symmetry (context) - Ip, Dill
28 Better verication through symmetry (context) - Ip, Dill - 1996
3 State Reduction Methods for Automatic Formal Verication (context) - Ip - 1996
2 A Heuristic for Symmetry Reductions with Scalarsets - Bo, cki et al. - 2000
1 SPIN Workshop on Model Checking of Software (context) - Bo, cki et al. - 2000
Documents on the same site (http://www.win.tue.nl/~lhol/SymmSpin/index.html):
A Heuristic for Symmetry Reductions with Scalarsets - Bosnacki, Dams, Holenderski (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC