Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and J. Hwang. Symbolic model checking: 1020 states and beyond. In 5th IEEE Symp. on Logic in Comp. Sc., pages 428–439, 1990.
2. J. Bohn and H. Hungar. Traverdi — transformation and verification of distributed systems. In M. Broy and S. Jähnichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, LNCS 1009, pages 317–338. Springer, 1995.
3. M. Broy and L. Lamport. The RPC-Memory Specification problem. This volume.
4. Jorge Cuellar, Dieter Barnard, and Martin Huber. A Solution Relying on the Model Checking of Boolean Transition Systems. This volume.
5. E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In D. Kozen, editor, Workshop on Logics of Programs, LNCS 131, pages 52–71. Springer, 1981.