1023 search results - page 3 / 205 » Model Checking: Software and Beyond |
VMCAI
2005
Springer
15 years 2 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize-such as improving the implementation of a desig...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
The understanding of Semantic Web documents is built upon ontologies that define concepts and relationships of data. Hence, the correctness of ontologies is vital. Ontology reason...
SCAM
2009
IEEE
15 years 4 months ago
2009
IEEE
ing Abstractions in Model Checking and Testing Michael Achenbach Klaus Ostermann
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
