|
85
|
Interface Theories for Component-based Design
– Luca De Alfaro, Thomas A. Henzinger
- 2001
|
|
2028
|
Compositional Model Checking
– E. M. Clarke, D. E. Long, K. L. Mcmillan
- 1999
|
|
3119
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
|
234
|
Trace Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits
– D L Dill
- 1989
|
|
348
|
Alternating-time Temporal Logic
– Rajeev Alur, Thomas Henzinger, Orna Kupferman
- 1997
|
|
138
|
MOCHA: Modularity in Model Checking
– Rajeev Alur, Thomas A. Henzinger, F.Y.C. Mang, R. Alur, S.K. Rajamani, S. Tasiran, S. Qadeer
- 1998
|
|
350
|
Hierarchical correctness proofs for distributed algorithms
– Nancy A. Lynch, Mark R. Tuttle
- 1987
|
|
99
|
Alternating refinement relations
– Rajeev Alur, Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi
- 1998
|
|
1311
|
Distributed Algorithms
– N A Lynch
- 1996
|
|
252
|
Reactive Modules
– Rajeev Alur , Thomas A. Henzinger
- 1996
|
|
67
|
Timed Interfaces
– Luca De Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga
- 2002
|
|
74
|
Assumption generation for software component verification
– Dimitra Giannakopoulou, Corina S. Păsăreanu, Howard Barringer
- 2002
|
|
232
|
Mining Specifications
– Glenn Ammons, Rastislav Bodik, James R. Larus
- 2002
|
|
126
|
Conversation specification: a new approach to design and analysis of e-service composition
– T Bultan, X Fu, R Hull, J Su
- 2003
|
|
1225
|
A Calculus of Communicating Systems
– R Milner
- 1980
|
|
242
|
Model Checking and Modular Verification
– Orna Grumberg, David E. Long
- 1991
|
|
665
|
The semantics of simple language for parallel programming
– Gilles Kahn
- 1974
|
|
34
|
Checking Safety Properties Using Compositional Reachability Analysis
– S C Cheung, J Kramer
- 1999
|
|
37
|
Context constraints for compositional reachability analysis
– SC Cheung, J Kramer
- 1996
|
