<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Symmetry reduction and heuristic search for error detection in model checking"^^ . "The state explosion problem is the main limitation of model checking. Symmetries in the system being verified can be exploited in order to avoid this problem by defining an equivalence (symmetry) relation on the states of the system, which induces a semantically equivalent quotient system of smaller size. On the other hand, heuristic search algorithms can be applied to improve the bug finding capabilities of model checking. Such algorithms use\r\nheuristic functions to guide the exploration. Bestfirst\r\nis used for accelerating the search, while A* guarantees optimal error trails if combined with admissible estimates. We analyze some aspects of combining both approaches, concentrating on the problem of finding the optimal path to the equivalence class of a given error state. Experimental\r\nresults evaluate our approach."^^ . "2003-08" . . . . . . . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . . . "Workshop on Model Checking and Artificial Intelligence (MoChArt-03)"^^ . . . . . "Acapulco, Mexico"^^ . . . . . . "Symmetry reduction and heuristic search for error detection in model checking (PDF)"^^ . . . . . "lluch-lafuente_2003.pdf"^^ . . . "Symmetry reduction and heuristic search for error detection in model checking (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . . "Symmetry reduction and heuristic search for error detection in model checking (Image (PNG))"^^ . . . . . . "lightbox.jpg"^^ . . . "Symmetry reduction and heuristic search for error detection in model checking (Image (PNG))"^^ . . . . . . "preview.jpg"^^ . . . "Symmetry reduction and heuristic search for error detection in model checking (Image (PNG))"^^ . . . . . . "medium.jpg"^^ . . . "Symmetry reduction and heuristic search for error detection in model checking (Image (PNG))"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1017 \n\nSymmetry reduction and heuristic search for error detection in model checking\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .