Other formats:
BibTeX
LaTeX
RIS
@book{571173, author = {Brim, Luboš and Černá, Ivana and Moravec, Pavel and Šimša, Jiří}, address = {Brno}, keywords = {under-aproximation; state space generation; partial order reduction}, language = {eng}, location = {Brno}, publisher = {Faculty of Informatics}, title = {Under-Approximation Generation using Partial Order Reduction}, url = {http://www.fi.muni.cz/informatics/reports/files/2004/FIMU-RS-2005-04.pdf}, year = {2005} }
TY - BOOK ID - 571173 AU - Brim, Luboš - Černá, Ivana - Moravec, Pavel - Šimša, Jiří PY - 2005 TI - Under-Approximation Generation using Partial Order Reduction VL - Technical Reports, FIMU-RS-2005-04 PB - Faculty of Informatics CY - Brno KW - under-aproximation KW - state space generation KW - partial order reduction UR - http://www.fi.muni.cz/informatics/reports/files/2004/FIMU-RS-2005-04.pdf N2 - We propose a new on-the-fly approach which combines partial order reduction with the under-approximation technique for falsification and verification of LTL-X properties. It uses sensitivity relation and modified ample conditions to generate a reduced state space that is not fully stutter equivalent to the original one and it checks the desired property using representatives. Widening of under-approximations is fully automatic and does not rely on any supporting mechanisms like theorem-provers or SAT solvers. ER -
BRIM, Luboš, Ivana ČERNÁ, Pavel MORAVEC and Jiří ŠIMŠA. \textit{Under-Approximation Generation using Partial Order Reduction}. Brno: Faculty of Informatics, 2005, 21 pp. Technical Reports, FIMU-RS-2005-04.
|