Search Sciweavers | Sciweavers

- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...

Prabhat K. Singh, Arun Lakhotia

claim paper

Read More »

149

click to vote

EWSPT
2003
Springer

102views Software Engineering» more EWSPT 2003»

Flexible Static Semantic Checking Using First-Order Logic

15 years 10 months ago

Download laser.cs.umass.edu

Shimon Rura, Barbara Staudt Lerner

claim paper

Read More »

click to vote

ICSE
2001
IEEE-ACM

72views Software Engineering» more ICSE 2001»

Static Checking of Interrupt-Driven Software

15 years 9 months ago

Download www.cs.ucla.edu

Dennis Brylow, Niels Damgaard, Jens Palsberg

claim paper

Read More »

104

click to vote

TOOLS
2000
IEEE

120views Programming Languages» more TOOLS 2000»

Statically Checked Documentation with Design Patterns

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers