1715 search results - page 78 / 343 » Domain-Specific Program Checking |
129
click to vote
HOTOS
2007
IEEE
15 years 6 months ago
2007
IEEE
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
103
Voted
SIGPLAN
2002
15 years 2 months ago
2002
The paper reports on an experiment to provide the Erlang programming language with a tool package for convenient trace generation, collection and to support analysis of traces usi...
114
click to vote
CHI
2009
ACM
15 years 6 days ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
129
Voted
ACSD
2008
IEEE
15 years 9 months ago
2008
IEEE
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
133
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...