1799 search results - page 93 / 360 » The Logic of Correctness in Software Engineering |
151
click to vote
TOPLAS
2002
15 years 5 months ago
2002
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
124
click to vote
AAAI
2008
15 years 8 months ago
2008
This paper addresses the question of how statistical learning algorithms can be integrated into a larger AI system both from a practical engineering perspective and from the persp...
208
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
146
Voted
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
146
click to vote
FSEN
2007
Springer
16 years 8 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...