2881 search results - page 197 / 577 » Model Checking for Programming Languages using Verisoft |
156
click to vote
IWPC
2008
IEEE
16 years 23 days ago
2008
IEEE
Inheritance is an important mechanism when developing object-oriented programs with class-based programming languages: it enables subtyping, polymorphism, and code reuse. Inherita...
146
click to vote
IASTEDSEA
2004
15 years 7 months ago
2004
Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and ...
171
click to vote
AAIM
2009
Springer
16 years 29 days ago
2009
Springer
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from im...
171
click to vote
ESOP
2004
Springer
15 years 11 months ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
151
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...