I would like to announce the availability of the following papers via anonymous ftp from science.csc.ncsu.edu. The files may be found in subdirectory pub/papers/ after gaining ftp access to this machine.
1 . Title : Divergence and Fair Testing Bib : To appear in Proceedings of ICALP '95
Abstract
This paper develops a new testing-based semantic theory of processes that aims to circumvent difficulties that traditional testing/failures theories have in dealing with divergent behavior. Our framework incorporates a notion of fairness into the determination of when a process passes a test; we contrast this definition with existing approaches and give characterizations of the induced semantic preorders. An example highlights the utility of our results.
2 . Title : Efficient On-the-Fly Model Checking for CTL* Bib : To appear in Proceedings of LICS '95
Abstract
This paper gives an on-the-fly algorithm for determining whether a finite-state system satisfies a formula in the temporal logic CTL*. The time complexity of our algorithm matches that of the best existing ``global algorithm'' for model checking in this logic, and it performs as well as the best known global algorithms for the sublogics CTL and LTL. In contrast with these approaches, however, our routine constructs the state space of the system under consideration in a need-driven fashion, and will therefore perform better in practice.