New papers:
-
Fei Xie, Vladimir Levin, Robert P. Kurshan, and James C.
Browne. Translating Software Designs for Model Checking.
In Proc. of 7th International Conference Fundamental Approach to Software
Engineering (FASE), to appear, 2004
- Fei Xie and James C. Browne. Verified Systems by Composition from
Verified Components. In Proc. of 4th Joint Meeting of the European
Software Engineering Conference and ACM SIGSOFT Symposium on Foundations
of Software Engineering (ESEC/FSE), 2003.
- Fei Xie, James C. Browne, and Robert P. Kurshan. Translation-Based
Compositional Reasoning for Software Systems. In Proc. of 12th International
Formal Method Europe (FME) Symposium, 2003.