Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

4 results for Edmund M. Clarke

Distributed reconfiguration strategies for fault-tolerant multiprocessor systems
- - Edmund M. Clarke
  - Christos N. Nikolaou
- 1982
- IEEE TC
Model checking semi-continuous time models using BDDs
- - Sérgio Campos
  - Márcio Teixeira
  - et al.
- 2001
- Electronic Notes in Theoretical Computer Science
Verifying the SRT division algorithm using theorem proving techniques
- - Edmund M. Clarke
  - Steven M. German
  - et al.
- 1999
- Formal Methods in System Design
Reasoning about procedures as parameters in the language L4
- - Steven M. German
  - Edmund M. Clarke
  - et al.
- 1989
- Information and Computation