783 search results - page 94 / 157 » Compositional Reasoning in Model Checking |
101
click to vote
LICS
1999
IEEE
15 years 6 months ago
1999
IEEE
Syntax and Variable Binding d Abstract) Marcelo Fiore COGS Univ. of Sussex Gordon Plotkin LFCS Univ. of Edinburgh Daniele Turi LFCS Univ. of Edinburgh op a theory of abstract synt...
134
click to vote
KBSE
1999
IEEE
15 years 6 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
126
Voted
AOSD
2012
ACM
13 years 10 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
138
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
119
click to vote
WWW
2006
ACM
15 years 8 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...