2 search results - page 1 / 1 » Improving the Quality of Bounded Model Checking by Means of ... |
115
Voted
ISVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
150
Voted
PPOPP
2010
ACM
16 years 29 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...