论文信息 - A Tool for Verifying Software Written in - 字舞流文

A Tool for Verifying Software Written in

Thomas Noll | Mads Dam | Gennady Chugunov | T. Noll | ErlangThomas Arts | ake Fredlund | DilianGurov | G. Chugunov | M. Dam | ErlangThomas Arts | ake Fredlund

[1] Aaas News,et al. Book Reviews , 1893, Buffalo Medical and Surgical Journal.

[2] Dilian Gurov,et al. mu-Calculus with explicit points and approximations , 2000 .

[3] D. Gurov,et al. Veriication of Erlang Programs: Factoring out the Side-eeect-free Fragment , 2000 .

[4] Lars-Åke Fredlund,et al. A Framework for Formal Reasoning about Open Distributed Systems , 1999, ASIAN.

[5] Towards a semantics for Erlang , 1999 .

[6] Lawrence C. Paulson,et al. Isabelle - A Generic Theorem Prover (with a contribution by T. Nipkow) , 1994, Lecture Notes in Computer Science.

[7] Mattias Werner,et al. The Graph Visualization System daVinci - A User Interface for Applications , 1994 .

[8] C. A. R. HOARE,et al. An axiomatic basis for computer programming , 1969, CACM.