shimomura's Ball:T [8 articles] Export

Recent papers posted to shimomura's library by the author Ball:T. You can also see everyone's Ball:T.

	Boolean and Cartesian Abstraction for Model Checking C Programs [My Copy] (December 2000) by Thomas Ball, Andreas Podelski, Sriram K. Rajamani posted to 2000 blast booleanprogram modelchecking read slam slide by shimomura on 2008-10-30 06:43:12 as
	Generating Abstract Explanations of Spurious Counterexamples in C Programs [My Copy] (2002) by Thomas Ball, Sriram K. Rajamani posted to 2002 abstraction booleanprogram slam by shimomura on 2008-06-15 07:43:56 as
	Boolean Programs: A Model and Process for Software Analysis [My Copy] (February 2000) by Thomas Ball, Sriram K. Rajamani posted to 2000 booleanprogram modelchecking slam by shimomura on 2008-06-11 10:51:00 as
	Automatically validating temporal safety properties of interfaces [My Copy] Model Checking Software (2001), pp. 102-122. by Thomas Ball, Sriram Rajamani posted to 2001 blast modelchecking read slam verification by shimomura on 2008-06-06 08:12:13 as
	Bebop: a path-sensitive interprocedural dataflow engine [My Copy] In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 97-103. by Thomas Ball, Sriram K. Rajamani posted to 2001 bebop modelchecking verification by shimomura on 2008-05-28 03:32:58 as along with 1 person zuleger
	Bebop: A Symbolic Model Checker for Boolean Programs [My Copy] In SPIN (2000), pp. 113-130. by Thomas Ball, Sriram K. Rajamani posted to 2000 bebop modelchecking verification by shimomura on 2008-05-28 03:32:01 as
	The SLAM project: debugging system software via static analysis [My Copy] In POPL '02: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2002), pp. 1-3. by Thomas Ball, Sriram K. Rajamani posted to 2002 blast modelchecking slam verification by shimomura on 2008-05-28 03:12:54 as along with 1 person msakai
	Automatic predicate abstraction of C programs [My Copy] SIGPLAN Not., Vol. 36, No. 5. (May 2001), pp. 203-213. by Thomas Ball, Rupak Majumdar, Todd Millstein, Sriram K. Rajamani posted to 2001 c modelchecking read by shimomura on 2008-05-13 10:17:11 as along with 4 people streetlightios emerson yuichi0619 msakai

Note: You may cite this page as: http://www.citeulike.org/user/shimomura/author/Ball:T

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

modelchecking	63
read	52
gui	47
verification	33
type	29
haskell	26
testing	21
pi	20
2003	19
2005	19
2002	18
2008	16
2001	15
2006	15
2007	13
2004	13
2000	12
blast	11
concurrent	10
slam	9
dependenttype	9
java	8
1999	8
specification	7
proof	7
timed	6
1997	6
1998	6
bandera	6
arrow	5
sessiontype	5
frp	5
bounded	5
automata	5
programming	5
1993	4
tool	4
slide	4
1996	4
abstraction	4
booleanprogram	4
layout	3
theoremproving	3
pict	3
software	3
epp	3
ws-cdl	3
agda	3
coq	3
event	2
cdl	2
continuation	2
2009	2
resource	2
ccs	2
1991	2
xml	2
science	2
gradualtyping	2
flow	2
gadt	2
compiler	2
thread	2
logic	2
bebop	2
sat	2
modeconfusion	2
prolog	1
uppaal	1
testcasegeneration	1
1990	1
javascript	1
debug	1
exception	1
operationalsematics	1
usability	1
1985	1
sos	1
1982	1
predicate	1
optimization	1
c	1
functional	1
se	1
erlang	1
trs	1
1994	1
meta	1
python	1
scala	1
1981	1
engineer	1
1987	1
nepi	1
cml	1
swing	1
systemf	1
linertype	1
chr	1
caml	1
transformation	1
plan9	1
1988	1
technicalreport	1
1978	1
deadlock	1
information	1
web	1
property	1
designpattern	1
semantics	1
analysis	1
implementation	1
xslt	1
wxhaskell	1
ltl	1
refactoring	1
distributed	1
scheme	1
multicore	1
smtsolver	1
1992	1
secure	1
1995	1
slicing	1
require	1

shimomura's Ball:T [8 articles] Export

shimomura's tags