Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

2016

2016

This paper establishes a link between Bayesian inference (learning) and predicate and state transformer operations from… Expand

Is this relevant?

Highly Cited

2012

Highly Cited

2012

The IC3 algorithm was recently introduced for proving properties of finite state reactive systems. It has been applied very… Expand

Is this relevant?

2004

2004

SummaryWe develop the semantics of a language with arbitrary atomic statements, unbounded nondeterminacy, and mutual recursion… Expand

Is this relevant?

Highly Cited

1997

Highly Cited

1997

Abstract The two models presented in this paper provide two different semantics for an extension of Dijkstra's language of… Expand

Is this relevant?

Highly Cited

1997

Highly Cited

1997

Abstract We construct a hierarchy of semantics by successive abstract interpretations. Starting from a maximal trace semantics of… Expand

Is this relevant?

Highly Cited

1996

Highly Cited

1996

Probabilistic predicates generalize standard predicates over a state space; with probabilistic predicate transformers one thus… Expand

Is this relevant?

Highly Cited

1994

Highly Cited

1994

Message Sequence Charts are a widely used technique for the visualization of the communications between system components. We… Expand

Is this relevant?

1992

1992

1. Finite coproducts 2. Structure of a Boolean category 3. Metatheory 4. Distributive categories Bibliography Index.

Is this relevant?

Highly Cited

1988

Highly Cited

1988

Dijkstra's programming language is extended by <italic>specification statements</italic>, which specify parts of a program “yet… Expand

Is this relevant?

Highly Cited

1980

Highly Cited

1980

We have shown that correctness properties of parallel programs can be described using computation trees and that from these… Expand

Is this relevant?