Search Sciweavers | Sciweavers

1633 search results - page 28 / 327

» On the Verification of Temporal Properties

click to vote

FORMATS
2009
Springer

93views Formal Methods» more FORMATS 2009»

Safe Runtime Verification of Real-Time Properties

13 years 11 months ago

Download www.cs.um.edu.mt

Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...

Christian Colombo, Gordon J. Pace, Gerardo Schneid...

claim paper

Read More »

click to vote

ICECCS
2007
IEEE

129views Hardware» more ICECCS 2007»

Automated Verification of Shape, Size and Bag Properties

13 years 11 months ago

Download www.dur.ac.uk

In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...

claim paper

Read More »

click to vote

ENTCS
2006

173views more ENTCS 2006»

Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata

13 years 7 months ago

Download seshome.informatik.uni-oldenburg.de

Partially Ordered Symbolic Automata (POSAs) are used as the semantical foundation of visual formalisms like the scenario based language of Live Sequence Charts (LSCs). To check whe...

Tobe Toben, Bernd Westphal

claim paper

Read More »

click to vote

FM
2009
Springer

127views Formal Methods» more FM 2009»

Automated Property Verification for Large Scale B Models

14 years 2 months ago

Download www.bmethod.com

Michael Leuschel, Jérôme Falampin, Fa...

claim paper

Read More »