46 search results - page 10 / 10 » Model Checking for a First-Order Temporal Logic Using Multiw... |
223
click to vote
POPL
2005
ACM
16 years 3 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...