Search Sciweavers | Sciweavers

383 search results - page 10 / 77

» Liveness Checking as Safety Checking

click to vote

SAS
2007
Springer

95views Formal Methods» more SAS 2007»

Modular Safety Checking for Fine-Grained Concurrency

14 years 1 months ago

Download www.doc.ic.ac.uk

Concurrent programs are diﬃcult to verify because the proof must consider the interactions between the threads. Fine-grained concurrency and heap allocated data structures exacer...

Cristiano Calcagno, Matthew J. Parkinson, Viktor V...

claim paper

Read More »

click to vote

SAC
2009
ACM

177views Applied Computing» more SAC 2009»

SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the sat

14 years 1 days ago

Download www.ifis.mu-luebeck.de

The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...

Sven Groppe, Jana Neumann, Volker Linnemann

claim paper

Read More »

click to vote

PLPV
2009
ACM

87views Programming Languages» more PLPV 2009»

Pragmatic equivalence and safety checking in Cryptol

14 years 2 months ago

Download www.galois.com

Levent Erkök, John Matthews

claim paper

Read More »