1492 search results - page 46 / 299 » Automatic Software Model Checking Using CLP |
124
click to vote
VMCAI
2009
Springer
15 years 8 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
100
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
109
click to vote
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
113
click to vote
FASE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
105
click to vote
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
15 years 5 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...