Parallel Model-Checking

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BRIM Luboš

Year of publication 2004
Type Article in Periodical
Magazine / Source ERCIM News
MU Faculty or unit

Faculty of Informatics

Citation
Web http://www.ercim.org/publication/Ercim_News/enw58
Field Informatics
Keywords Model Checking
Description A summary of methods and techiques for parallel and distributed model checking of LTL formulae is given.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.