J. Geldenhuys, P.J.A. de Villiers  Home/Search
Context
Related
Links: ACM DBLP | cs.sun.ac.za/proje...SCSTR996.ps.gz belllabs.com/netlib/sp...compact.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: cs.sun.ac.za/projects/tech_rep... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . Spin is a verification system that can detect errors automatically by exploring the reachable state space of a system. The efficiency of verifiers like Spin depends crucially on the technique used for the representation of states. A number of recent proposals for more compact representations reduce the memory requirements, but cause a considerable increase in execution time. These methods could be used as alternatives when the standard state representation exhausts the memory, but this ... (Update)
Active bibliography (related documents): More All
0.4: Efficiency Issues in the Design of a Model Checker - Geldenhuys (1999) (Correct)
0.3: Nested Emptiness Search for Generalized Büchi Automata - Tauriainen (2003) (Correct)
0.3: An LTL Verification System Based on Automata Theory - van Wyk (1999) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: Automatic Scaling Using Gamma Learning For.. - Engelbrecht.. (Correct)
0.2: Evidential Morphology and Theory of Mind - Papafragou, Li (Correct)
0.2: An on-the-fly validation system for CTL - de Villiers, Visser (1995) (Correct)
BibTeX entry: (Update)
@inproceedings{ geldenhuys99runtime,
author = "Jaco Geldenhuys and P. J. A. de Villiers",
title = "Runtime Efficient State Compaction in {SPIN}",
booktitle = "{SPIN}",
pages = "12-21",
year = "1999",
url = "citeseer.ist.psu.edu/geldenhuys99runtime.html" }
Citations (may not include all citations):227 Formal methods: state of the art and future directions - Clarke, Wing - 1996 DBLP
61 Prentice Hall Software Series (context) - Holzmann, Validation et al. - 1991
20 State compression in Spin: recursive indexing and compressio.. - Holzmann - 1997
6 Memory efficient state storage in Spin - Visser - 1996
5 State space compression in Spin with GETSs (context) - -Ch - 1996
5 Mechanized formal methods: progress and prospects - Rushby - 1996 DBLP
3 ESML---a validation language for concurrent systems (context) - de Villiers, Visser - 1992
Documents on the same site (http://www.cs.sun.ac.za/projects/tech_reports/): More
Incremental Construction and Drawing of Venn Diagrams - Eloff, van Zijl (2000) (Correct)
Refining Hidden Markov Models with Recurrent Neural Networks - Wessels, Omlin (1999) (Correct)
Distributed Intelligent Multi-Agents for Telecommunication.. - Andrag, Omlin (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