Found 10 Documents (Results 1–10)
Context-aware counter abstraction. (English) Zbl 1213.68362
MSC:
68Q60
Symmetry and partial order reduction techniques in model checking Rebeca. (English) Zbl 1185.68142
MSC:
68N15
Vector symmetry reduction. (English) Zbl 1335.68134
Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 3-18 (2009).
Automatic symmetry detection for Promela. (English) Zbl 1191.68411
MSC:
68Q60
Extending symmetry reduction techniques to a realistic model of computation. (English) Zbl 1335.68135
Merz, Stephan (ed.) et al., Proceedings of the 6th international workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, September 18–19, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 185, 63-76 (2007).
Efficient approximate verification of Promela models via symmetry markers. (English) Zbl 1141.68453
Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 300-315 (2007).
Filter Results by …
Document Type
- Journal Articles (7)
- Collection Articles (3)
all
top 5
Author
- Donaldson, Alastair F. (5)
- Miller, Alice Ann (3)
- Leuschel, Michael (2)
- Massart, Thierry Jacques (2)
- Wahl, Thomas (2)
- Basler, Gérard (1)
- Culberson, Joseph C. (1)
- D’silva, Vijay (1)
- Felner, Ariel (1)
- Holte, Robert C. (1)
- Jaghoori, Mohammad Mahdi (1)
- Khamespanah, Ehsan (1)
- Kröning, Daniel (1)
- Mazzucchi, Michele (1)
- Mousavi, Mohammadreza (1)
- Movaghar, Ali (1)
- Sirjani, Marjan (1)
- Zahavi, Uzi (1)
all
top 3
Software
- TopSpin (10)
- SPIN (8)
- SymmSpin (7)
- Uppaal (4)
- GAP (3)
- Spin-to-Grape (3)
- CUDD (2)
- PROMELA (2)
- nauty (2)
- Atelier B (1)
- B4Free (1)
- Bebop (1)
- DDVerify (1)
- ETCH (1)
- Featherweight Java (1)
- ProB (1)
- Rebeca (1)
- Rodin (1)
- SLAM (1)
- SableCC (1)
- SatAbs (1)
- SymmExtractor (1)
- TinyOS (1)
- Viptos (1)
- Z2sal (1)
- jSpin (1)