1206 search results - page 47 / 242 » Concurrent Abstract Predicates |
111
click to vote
ACSD
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose a general method to characterize and synthesize correctness-preserving, asynchronous wrappers for synchronous processes on a globally asynchronous locally synchronous (...
191
Voted
POPL
2006
ACM
16 years 25 days ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...
114
click to vote
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
116
Voted
ENTCS
2008
15 years 17 days ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
112
click to vote
ENTCS
2008
15 years 18 days ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...