6608 search results - page 27 / 1322 » On the Completeness of Model Checking |
127
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
123
click to vote
ICDE
2011
IEEE
14 years 4 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
120
click to vote
SBMF
2009
Springer
15 years 7 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
81
Voted
IPL
2006
15 years 20 days ago
2006
We investigate the path model checking problem for the
112
click to vote
ICRE
2000
IEEE
15 years 4 months ago
2000
IEEE
Today, object-oriented requirements specifications typically combine a scenario (or use case) model and a class model for expressing functional requirements. With any such combina...