1223 search results - page 245 / 245 » A Logic for Reasoning about Evidence |
OOPSLA
2010
Springer
13 years 4 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
ASPLOS
2011
ACM
12 years 10 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
ICSE
2011
IEEE-ACM
12 years 9 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...