Skip to main content

IBM Research - Haifa

Verification and Cognitive Computing

Formal Verification Publications

Publications Authored by RuleBase Developers and Users Worldwide
(postscript format)

Sugar Publications

2004

2003


Model Checking Papers

2004

2003

2002

2001

2000

1999

1998

1997

1996

1994


Case Studies and Experience Papers

2004

2003

2001

2000

1996

1995


Miscellaneous

2003

Simulation Based Publications

Test Generation Methods

2004

2003

2002

2001

1999

1995

1994


Coverage Directed Test Generation

2004

2003

2001

1999

1998

1996


Coverage

2004

2003

2002

1999

1998

1997

2004


Miscellaneous

2003

2002

1998