Cluster-Based I/O-Efficient LTL Model Checking

I/O-efficient algorithms take the advantage of large capacities of external memories to verify huge state spaces even on a single machine with low-capacity RAM. On the other hand, parallel algorithms are used to accelerate the computation and their usage may significantly increase the amount of avai...

Full description

Bibliographic Details

Published in:	2009 IEEE/ACM International Conference on Automated Software Engineering pp. 635 - 639
Main Authors:	Barnat, J., Brim, L., Simecek, P.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.11.2009
Subjects:	Acceleration Clustering algorithms Computer industry Computer networks Concurrent computing I/O-efficient model checking Large-scale systems LTL Parallel algorithms parallel model checking Random access memory Read-write memory State-space methods
ISBN:	1424452597, 9781424452590
ISSN:	1938-4300
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!