1356 search results - page 63 / 272 » The ideal of verified software |
ICSE
2008
IEEE-ACM
16 years 19 days ago
2008
IEEE-ACM
We present TReMer+, a tool for consistency checking of distributed models (i.e., models developed by distributed teams). TReMer+ works by first constructing a merged model before ...
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...
112
click to vote
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...
AUIC
2003
IEEE
15 years 5 months ago
2003
IEEE
Authentication is a security service that consists of verifying that someone’s identity is as claimed. There are a number of challenges to presenting information from the authen...