U. Stern and D. Dill. Using magnetic disk instead of main memory in the murphi verifier. In International Conference on Computer Aided Verification (CAV), pages 172--183, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Enhancing Simulation with BDDs and ATPG - Ganai (1998) (5 citations) (Correct)
....and Bdd Build increasing the backtrack limit BDD size threshold upto to max values for each. After invoking the solver, if it returns a vector, we perform simulation, Update Signatures us The input vector is typically much narrower than the state vector; thus we can perform compaction on states [26]. Since we store the input vectors we will be able to recover the actual state by applying the corresponding input sequence to the initial state. We are currently experimenting with this approach. 18 ing the witness vec generated. We update the states S and also prune the target list T . To ....
U. Stern and D. L. Dill. Using Magnetic Disk instead of Main Memory in the Murphi Verifier. In Proc. of the Computer Aided Verification Conf., June 1998.
On Memory-Block Traversal Problems in Model-Checking Timed.. - Larsson, Pettersson, Yi (Correct)
....model checking timed systems, our results are applicable to any problem involving traversals of large amounts of memory in model checking not only for timed systems, but concurrent systems in general. For other work in the context of memory management for automated verification, see [Boe93,Wil92,SD98] As future work, we plan to develop a special purpose memory manager for verification tools, that keeps total control over the allocation order and memory layout. ....
Ulrich Stern and David L. Dill. Using Magnetic Disk instead of Main Memory in the Murphi Verifier. In Proc. of the 10th Int. Conf. on Computer Aided Verification, Lecture Notes in Computer Science. Springer--Verlag, June 1998.
Enhancing Simulation with BDDs and ATPG - Aziz, al. (1999) (5 citations) (Correct)
....target is reached. The list of light houses is not pruned until the desired target is reached. 4 Such a scheme makes it possible to considerably reduce memory used for storing states. The input vector is typically much narrower than the state vector; thus we can perform compaction on states [25]. Since we store the input vectors we will be able to recover the actual state by applying the corresponding input sequence to the initial state. We are currently experimenting with this approach. 5 The light house play a role more than just a guide post as suggested by Yang et al. [27] At ....
U. Stern and D. L. Dill. Using Magnetic Disk instead of Main Memory in the Murphi Verifier. In Proc. of the Computer Aided Verification Conf., June 1998.
Real-Time Model Checking on Secondary Storage - Stefan Edelkamp And (Correct)
No context found.
U. Stern and D. Dill. Using magnetic disk instead of main memory in the murphi verifier. In International Conference on Computer Aided Verification (CAV), pages 172--183, 1998.
I/O Efficient Directed Model Checking - Shahid Jabbar And (Correct)
No context found.
U. Stern and D. Dill. Using magnetic disk instead of main memory in the murphi verifier. In International Conference on Computer Aided Verification (CAV), pages 172--183, 1998.
External Program Model Checking - Stefan Edelkamp Shahid (Correct)
No context found.
U. Stern and D. Dill. Using magnetic disk instead of main memory in the murphi verifier. In CAV, pages 172--183, 1998.
Parallel External Directed Model Checking with Linear I/O - Jabbar, Edelkamp (2006) (Correct)
No context found.
U. Stern and D. Dill. Using magnetic disk instead of main memory in the murphi verifier. In International Conference on Computer Aided Verification (CAV), pages 172--183, 1998.
Path Finding with the Sweep-Line Method using External Storage - Kristensen, Mailund (2003) (4 citations) (Correct)
No context found.
U. Stern and D. L. Dill. Using Magnetic Disk instead of Main Memory in the Murphi Veri er. In Proc, of CAV'98, volume 1427 of LNCS, pages 172-183. SpringerVerlag, 1998.
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