Comments on: Notable publication in Formal Verification from Wikipedia http://ac.jiruan.net/2008/04/notable-publication-in-formal-verification-from-wikipedia/ Information and Society Mon, 12 Jul 2010 03:06:34 +0000 hourly 1 http://wordpress.org/?v=3.3 By: admin http://ac.jiruan.net/2008/04/notable-publication-in-formal-verification-from-wikipedia/comment-page-1/#comment-39 admin Sat, 05 Apr 2008 21:56:39 +0000 http://ac.jiruan.net/?p=28#comment-39 Hi, thank you for your comment. This list is borrowed from Wikipedia. I thought we can have concurrent turing machines long time ago. It will be great if we could invente a competely different computation model. Hi, thank you for your comment. This list is borrowed from Wikipedia.

I thought we can have concurrent turing machines long time ago. It will be great if we could invente a competely different computation model.

]]> By: C. Moeller http://ac.jiruan.net/2008/04/notable-publication-in-formal-verification-from-wikipedia/comment-page-1/#comment-37 C. Moeller Fri, 04 Apr 2008 19:31:58 +0000 http://ac.jiruan.net/?p=28#comment-37 Impressive: The list of topics leading to the present practices of formal verification, model-checking and theorem-proving. Suppose there was a new system of logic--reactive to external events--that is not a Turing machine, but nevertheless can manage and use Turing machines. The new system is inherently parallel-concurrent. Impressive: The list of topics leading to the present practices of formal verification, model-checking and theorem-proving.

Suppose there was a new system of logic–reactive to external events–that is not a Turing machine, but nevertheless can manage and use Turing machines. The new system is inherently parallel-concurrent.

]]>