32032 search results - page 151 / 6407 » Verified programming in Guru |
137
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
123
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
: This paper presents a process for the stepwise refinement of safety code assertions from identified system hazards. The code assertions are intended for use in system safety veri...
138
click to vote
ACTA
2004
15 years 4 months ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
125
click to vote
INFORMATICALT
2000
15 years 4 months ago
2000
Recently, Harn proposed an efficient scheme that can batch verification multiple RSA digital signatures. His scheme can reduce signature verification time. However, there is a weak...
123
click to vote
ICSR
2009
Springer
15 years 2 months ago
2009
Springer
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...