1715 search results - page 40 / 343 » Domain-Specific Program Checking |
JHSN
2006
15 years 2 months ago
2006
TOSEM
2008
15 years 2 months ago
2008
173
Voted
COMPSAC
2011
IEEE
14 years 2 months ago
2011
IEEE
125
Voted
FORMATS
2009
Springer
15 years 8 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
131
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...