Formal methods in an industrial environment

1. ASM-Bibliography. http://www.eecs.umich.edu/gasm/. WWW page.

   Google Scholar 

2. B. A. Brandin, “The Real Time Supervisory Control of an Experimental Manufacturing Cell”, IEEE Transactions on Robotics and Automation, Vol. 12, No. 1, February 1996, pp. 329–342.

   Article  Google Scholar 

3. H. Busch. A Practical Method for Reasoning About Distributed Systems in a Theorem Prover. In Higher Order Logic Theorem Proving and its Applications-8th International Workshop, Aspen Grove, UT, USA, Proceedings, pages 106–121. Springer-Verlag, LNCS 971, September 1995.

   Google Scholar 

4. H. Busch. Proving Liveness of Fair Transition Systems. In J. v. Wright, J. Grundy, and J. Harrison, editors, Theorem Proving in Higher Order Logics: 9th International Conference, TPHOL'96, volume 1125 of LNCS, pages 77–92. Springer-Verlag, August 1996.

   Google Scholar 

5. J. R. Cuellar and 1. Wildgruber. A TLT Solution. In J. R. Abrial, E. Börger, and H. Langmaak, editors, Formal Methods for Industrial Applications. Specifying and Programming the Steam Boiler, volume 1165 of LNCS, pages 165–183. Springer-Verlag, 1996.

   Google Scholar 

6. Jorge Cuellar, Dieter Barnard, and Martin Huber. Rapid Prototyping for an Assertional Specification Language. TACAS'96, LNCS 1055, March 1996.

   Google Scholar 

7. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.

   Google Scholar 

8. M. Hölzlein, Th. Filkorn, P. Warkentin, and M. Weiss. Eine Verifikationskomponente für HiGraph. Volume 1397 of VDI-Berichte. VDI-Verlag, Düsseldorf, 1998.

   Google Scholar 

9. Klaus Nökel and Klaus Winkelmann. The FZI Production Cell Case Study: A distributed solution using TLT. In Formal Development of Reactive Systems: Case Study Production Cell, volume 891 of LNCS. Springer-Verlag, 1995.

   Google Scholar 

10. Sacres Esprit Project. http://www.ilogix.co.uk/ilogix/sacres.html. WWW home page.

    Google Scholar 

11. P. J. Ramadge and W. M. Wonham, “The Control of Discrete-Event Systems”, IEEE Proceedings, Vol. 77, No. 1, January 1989, pp. 81–98.

    Article  Google Scholar 

12. Franz Regensburger and Aenne Barnard. Formal Verification of SDL Systems at the Siemens Mobile Phone Department. In TACAS 1998, Lecture Notes in Computer Science. Springer-Verlag, 1998.

    Google Scholar 

13. Karl Stroetmann. SEDUCT-a proof compiler for first order logic. In Manfred Broy and Stefan Jänichen, editors, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, volume 1009 of Lecture Notes in Computer Science, pages 299–316. Springer Verlag, 1995.

    Google Scholar 

Download references