2881 search results - page 297 / 577 » Model Checking for Programming Languages using Verisoft |
168
click to vote
KBSE
2007
IEEE
16 years 27 days ago
2007
IEEE
Programs written in languages that provide direct access to memory through pointers often contain memory-related faults, which may cause non-deterministic failures and even securi...
182
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
172
click to vote
WSC
2000
15 years 8 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
194
click to vote
ENTCS
2008
15 years 6 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
165
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...