928 search results - page 82 / 186 » Interpolation-sequence based model checking |
ECRTS
2003
IEEE
15 years 3 months ago
2003
IEEE
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
DATE
2004
IEEE
15 years 1 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
90
Voted
BPM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is sub...
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...