1715 search results - page 121 / 343 » Domain-Specific Program Checking |
129
click to vote
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
90
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
88
Voted
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
105
click to vote
IJFCS
2006
15 years 18 days ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
102
Voted
WWW
2004
ACM
16 years 1 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...