Open AccessExact and Approximate Strategies for Symmetry Reduction in Model Checking
Author(s) -
Alastair F. Donaldson,
Alice Miller
Publication year - 2006
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-37215-6
DOI - 10.1007/11813040_36
Subject(s) - model checking , computer science , reduction (mathematics) , symmetry (geometry) , symmetry group , equivalence (formal languages) , state space , theoretical computer science , algorithm , algebra over a field , mathematics , pure mathematics , geometry , statistics
27.06.14 KB. Ok to add accepted version to spiral, 12 month embargo elaspe
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom