11022 search results - page 249 / 2205 » Programming Systems for Autonomy |
302
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
155
click to vote
TACAS
2005
Springer
15 years 12 months ago
2005
Springer
We present a tool for finding errors in Java programs that translates Java bytecodes into symbolic pushdown systems, which are then checked by the Moped tool [1].
153
Voted
POS
1990
Springer
15 years 10 months ago
1990
Springer
nce and Type Abstraction Revisited Atsushi Ohori Ivan Tabkha Richard Connor
180
click to vote
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
192
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...