Sciweavers

24 search results - page 1 / 5

» amast 2004

22

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

14 years 4 months ago

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

27

AMAST
2004
Springer

87views Software Engineering» more AMAST 2004»

Formalising Graphical Behaviour Descriptions

14 years 4 months ago

Formalising Graphical Behaviour Descriptions

Download www.cs.stir.ac.uk

Kenneth J. Turner

claim paper

Read More »

26

AMAST
2004
Springer

102views Software Engineering» more AMAST 2004»

Extending Separation Logic with Fixpoints and Postponed Substitution

14 years 4 months ago

Extending Separation Logic with Fixpoints and Postponed Substitution

Download www.di.ens.fr

Élodie-Jane Sims

claim paper

Read More »

24

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

14 years 4 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

27

AMAST
2004
Springer

116views Software Engineering» more AMAST 2004»

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

14 years 2 months ago

Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs

Download www.irisa.fr

Bertrand Jeannet, Wendelin Serwe

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »