Interesting TOSE paper to read | 0 comments Posted May 27, 2005 09:33 AM by jones.
"State space reduction based on live variable analysis" by Bozga et al | 0 comments Posted August 10, 2004 02:09 PM by jones.
"Using multiple levels of abstraction in Emb. Software Design" by Burch et al | 0 comments Posted March 9, 2004 07:49 AM by jones.
Formalizing C in HOL | 0 comments Posted February 26, 2004 10:40 AM by jones.
"Orthogonal defect classification..." by Chillaredge et al | 0 comments Posted February 21, 2004 11:29 PM by jones.
"Using testbeds to accelerate technology maturity... SCRover" by Boehm et al | 0 comments Posted February 21, 2004 10:36 PM by jones.
background reading in concurrency theory | 0 comments Posted January 27, 2004 08:35 AM by jones.
collapsing states | 0 comments Posted January 8, 2004 02:10 PM by jones.
special issue on industrial FM | 0 comments Posted December 12, 2003 12:39 PM by jones.
"Random Walk Based Heuristic Algorithms for ... Model Checking" by Sivaraj and Gopalakrishnan | 0 comments Posted November 18, 2003 11:13 AM by jones.
"Model checking LTL over controllable linear" ... by Tabusa and Pappas | 0 comments Posted November 12, 2003 08:20 PM by jones.
Transformations for Model Checking Distributed Java... by Stoller and Liu | 0 comments Posted October 28, 2003 08:15 AM by jones.
"Model checking Java programs using ..." by Groce,Visser | 0 comments Posted October 28, 2003 08:06 AM by jones.
Guided model checking... by Edelkamp | 0 comments Posted October 24, 2003 06:55 PM by jones.
"Logic Verification of ANSI-C..." by Holzmann | 0 comments Posted October 22, 2003 08:53 AM by jones.
Bytecode Model Checking: An Experimental Analysis | 0 comments Posted October 13, 2003 09:17 AM by jones.
"Formal Analysis of the Remote.." by Havelund | 0 comments Posted October 9, 2003 10:58 AM by jones.
Two Dependability Papers | 0 comments Posted September 26, 2003 07:02 AM by jones.