1799 search results - page 23 / 360 » The Logic of Correctness in Software Engineering |
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
FSTTCS
2003
Springer
15 years 7 months ago
2003
Springer
SEKE
2007
Springer
15 years 8 months ago
2007
Springer
104
click to vote
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 8 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...