2881 search results - page 172 / 577 » Model Checking for Programming Languages using Verisoft |
128
click to vote
CP
2005
Springer
15 years 11 months ago
2005
Springer
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP ...
216
click to vote
JSC
2010
15 years 1 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
185
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...
311
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
C programs can be difficult to debug due to lax type enforcement and low-level access to memory. We present a dynamic analysis for C that checks heap snapshots for consistency wit...
145
click to vote
APSEC
2005
IEEE
15 years 12 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...