Search Sciweavers | Sciweavers

2203 search results - page 34 / 441

» Temporal Abstract Interpretation

140

click to vote

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

16 years 1 days ago

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

122

click to vote

CAISE
2005
Springer

119views Information Technology» more CAISE 2005»

On Temporal Abstractions of Web Service Protocols

16 years 17 hour ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

147

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 12 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

131

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 12 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

125

click to vote

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers