Search Sciweavers | Sciweavers

209 search results - page 1 / 42

» Static Checking of Interrupt-Driven Software

click to vote

ICSE
2001
IEEE-ACM

72views Software Engineering» more ICSE 2001»

Static Checking of Interrupt-Driven Software

14 years 3 months ago

Download www.cs.ucla.edu

Dennis Brylow, Niels Damgaard, Jens Palsberg

claim paper

Read More »

click to vote

FOSSACS
2010
Springer

115views Software Engineering» more FOSSACS 2010»

Model Checking Is Static Analysis of Modal Logic

13 years 9 months ago

Download wiki.ercim.eu

Flemming Nielson, Hanne Riis Nielson

claim paper

Read More »

click to vote

SCP
2010

155views more SCP 2010»

Type inference and strong static type checking for Promela

13 years 9 months ago

Download www.allydonaldson.co.uk

The SPIN model checker and its speciﬁcation language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...

Alastair F. Donaldson, Simon J. Gay

claim paper

Read More »

click to vote

VMCAI
2004
Springer

84views Software Engineering» more VMCAI 2004»

Static Analysis versus Software Model Checking for Bug Finding

14 years 4 months ago

Download se.inf.ethz.ch

Dawson R. Engler, Madanlal Musuvathi

claim paper

Read More »

click to vote

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers