论文信息 - Formal Methods in an Industrial Environment - 字舞流文

Formal Methods in an Industrial Environment

[1] Dieter Barnard,et al. Rapid Prototyping for an Assertional Specification language , 1996, TACAS.

[2] Nicolas Halbwachs,et al. Synchronous Programming of Reactive Systems , 1992, CAV.

[3] Karl Stroetmann. Seduct - A Proof Compiler for First Order Logic , 1995, KORSO Book.

[4] W. M. Wonham,et al. The control of discrete event systems , 1989 .

[5] B.A. Brandin,et al. The real-time supervisory control of an experimental manufacturing cell , 1996, IEEE Trans. Robotics Autom..

[6] Franz Regensburger,et al. Formal Verification of SDL Systems at the Siemens Mobile Phone Department , 1998, TACAS.

[7] Holger Busch. A Practical Method for Reasoning about Distributed Systems in a Theorem Prover , 1995, TPHOLs.

[8] Holger Busch. Proving Liveness of Fair Transition Systems , 1996, TPHOLs.

[9] Isolde Wildgruber,et al. The Steam-Boiler Problem - A TLT Solution , 1995, Formal Methods for Industrial Applications.