Matches in SemOpenAlex for { <https://semopenalex.org/work/W2001859357> ?p ?o ?g. }
- W2001859357 endingPage "173" @default.
- W2001859357 startingPage "156" @default.
- W2001859357 abstract "Dramatic improvements in SAT solver technology over the last decade and the growing need for more efficient and scalable verification solutions have fueled research in verification methods based on SAT solvers. This paper presents a survey of the latest developments in SAT-based formal verification, including incomplete methods such as bounded model checking and complete methods for model checking. We focus on how the surveyed techniques formulate the verification problem as a SAT problem and how they exploit crucial aspects of a SAT solver, such as application-specific heuristics and conflict-driven learning. Finally, we summarize the noteworthy achievements in this area so far and note the major challenges in making this technology more pervasive in industrial design verification flows." @default.
- W2001859357 created "2016-06-24" @default.
- W2001859357 creator A5041231710 @default.
- W2001859357 creator A5069043950 @default.
- W2001859357 creator A5082596567 @default.
- W2001859357 date "2005-01-25" @default.
- W2001859357 modified "2023-10-02" @default.
- W2001859357 title "A survey of recent advances in SAT-based formal verification" @default.
- W2001859357 cites W1490969264 @default.
- W2001859357 cites W1494481937 @default.
- W2001859357 cites W1495266209 @default.
- W2001859357 cites W1498403163 @default.
- W2001859357 cites W1498682591 @default.
- W2001859357 cites W1498734916 @default.
- W2001859357 cites W1501649906 @default.
- W2001859357 cites W1510368738 @default.
- W2001859357 cites W1511155470 @default.
- W2001859357 cites W1513300473 @default.
- W2001859357 cites W1515623105 @default.
- W2001859357 cites W1516564968 @default.
- W2001859357 cites W1518271219 @default.
- W2001859357 cites W1536007121 @default.
- W2001859357 cites W1541411615 @default.
- W2001859357 cites W1549820563 @default.
- W2001859357 cites W1553278548 @default.
- W2001859357 cites W1555280138 @default.
- W2001859357 cites W1568333198 @default.
- W2001859357 cites W1576210790 @default.
- W2001859357 cites W1578728098 @default.
- W2001859357 cites W1579329129 @default.
- W2001859357 cites W1589045411 @default.
- W2001859357 cites W1590315663 @default.
- W2001859357 cites W1594074817 @default.
- W2001859357 cites W1597057550 @default.
- W2001859357 cites W1612453857 @default.
- W2001859357 cites W1749917042 @default.
- W2001859357 cites W1787074469 @default.
- W2001859357 cites W1814068099 @default.
- W2001859357 cites W1819209966 @default.
- W2001859357 cites W1836483134 @default.
- W2001859357 cites W1838320025 @default.
- W2001859357 cites W1903629970 @default.
- W2001859357 cites W1976876676 @default.
- W2001859357 cites W1979840340 @default.
- W2001859357 cites W1982129592 @default.
- W2001859357 cites W1999997889 @default.
- W2001859357 cites W2010880586 @default.
- W2001859357 cites W2044560939 @default.
- W2001859357 cites W2046239089 @default.
- W2001859357 cites W2057361103 @default.
- W2001859357 cites W2062897452 @default.
- W2001859357 cites W2080267935 @default.
- W2001859357 cites W2082000355 @default.
- W2001859357 cites W2098046166 @default.
- W2001859357 cites W2099120582 @default.
- W2001859357 cites W2103351789 @default.
- W2001859357 cites W2110123236 @default.
- W2001859357 cites W2110992886 @default.
- W2001859357 cites W2114766961 @default.
- W2001859357 cites W2118919709 @default.
- W2001859357 cites W2134693502 @default.
- W2001859357 cites W2140132043 @default.
- W2001859357 cites W2142785340 @default.
- W2001859357 cites W2149107969 @default.
- W2001859357 cites W2151398141 @default.
- W2001859357 cites W2151793720 @default.
- W2001859357 cites W2156358952 @default.
- W2001859357 cites W2158027086 @default.
- W2001859357 cites W2160444875 @default.
- W2001859357 cites W2164392635 @default.
- W2001859357 cites W2173124859 @default.
- W2001859357 cites W3023191323 @default.
- W2001859357 cites W3141316173 @default.
- W2001859357 cites W3146212543 @default.
- W2001859357 cites W4205536549 @default.
- W2001859357 cites W4229537527 @default.
- W2001859357 cites W4230009915 @default.
- W2001859357 cites W4235938950 @default.
- W2001859357 cites W4236423066 @default.
- W2001859357 cites W4238843037 @default.
- W2001859357 cites W4241233758 @default.
- W2001859357 cites W4241661428 @default.
- W2001859357 cites W4245385551 @default.
- W2001859357 cites W4247585869 @default.
- W2001859357 cites W4250884204 @default.
- W2001859357 cites W4251447274 @default.
- W2001859357 cites W4252315883 @default.
- W2001859357 cites W4253563042 @default.
- W2001859357 cites W4254983540 @default.
- W2001859357 doi "https://doi.org/10.1007/s10009-004-0183-4" @default.
- W2001859357 hasPublicationYear "2005" @default.
- W2001859357 type Work @default.
- W2001859357 sameAs 2001859357 @default.
- W2001859357 citedByCount "238" @default.
- W2001859357 countsByYear W20018593572012 @default.
- W2001859357 countsByYear W20018593572013 @default.
- W2001859357 countsByYear W20018593572014 @default.
- W2001859357 countsByYear W20018593572015 @default.