1799 search results - page 41 / 360 » The Logic of Correctness in Software Engineering |
147
click to vote
SP
2000
IEEE
15 years 9 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
151
click to vote
VSTTE
2005
Springer
15 years 11 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
422
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
170
click to vote
FSTTCS
2000
Springer
15 years 9 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
135
click to vote
EDBTW
2006
Springer
15 years 9 months ago
2006
Springer
Users without knowledge of schemas or structured query languages have difficulties in accessing information stored in databases. Commercial and research efforts have focused on key...