Search Sciweavers | Sciweavers

2203 search results - page 34 / 441

» Temporal Abstract Interpretation

136

click to vote

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

15 years 11 months ago

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

119

click to vote

CAISE
2005
Springer

119views Information Technology» more CAISE 2005»

On Temporal Abstractions of Web Service Protocols

15 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

Boualem Benatallah, Fabio Casati, Julien Ponge, Fa...

claim paper

Read More »

137

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 11 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

127

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

15 years 11 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

117

click to vote

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers