6 search results - page 2 / 2 » Reasoning about Java's Reentrant Locks |
136
click to vote
ENTCS
2008
15 years 2 months 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...