# Symposium on Logic in Computer Science

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2008

2008

- SIGSOFT FSE
- 2008

Modal Transition Systems (MTS) have been shown to be useful to reason about system behaviour in the context of partial… (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- CAV
- 2008

This paper describes a precise numerical abstract domain for use in timing analysis. The numerical abstract domain is… (More)

Is this relevant?

2006

2006

- 21st Annual IEEE Symposium on Logic in Computer…
- 2006

We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal… (More)

Is this relevant?

Review

2005

Review

2005

- 20th Annual IEEE Symposium on Logic in Computer…
- 2005

Summary form only given. The great logician Alfred Tarski played one of the leading roles in the development of mathematical… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- 1997

perspective, labels represent an extra `informational resource' which is present in deduction and can play a variety of roles… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- ACM Trans. Program. Lang. Syst.
- 1997

Interpretation of Reactive Systems DENNIS DAMS and ROB GERTH Eindhoven University of Technology and ORNA GRUMBERG Technion, Haifa… (More)

Is this relevant?

1996

1996

- 1996

IC design is an iterative process; the initial speciication of a design is rarely complete and correct. The designer begins with… (More)

Is this relevant?

1996

1996

- Theor. Comput. Sci.
- 1996

compilation: It is convenient to view a type analysis in our approach as consisting of two phases: First the program is… (More)

Is this relevant?

1995

1995

- 1995

Interpretation: a Semantic-Based Tool for Program Analysis, in: Handbook of logic in computer science (vol. 4). Oxford University… (More)

Is this relevant?

Highly Cited

1987

Highly Cited

1987

- Ann. Pure Appl. Logic
- 1987

The mathematical framework of Stone duality is used to synthesize a number of hitherto separate developments in Theoretical… (More)

Is this relevant?