Last update: Sun Aug 5 02:03:07 MDT 2018
@Article{Dwyer:2000:APL,
author = "Matthew B. Dwyer and John Hatcliff",
title = "Adapting programming languages technologies for
finite-state verification",
journal = j-SIGSOFT,
volume = "25",
number = "1",
pages = "46--49",
month = jan,
year = "2000",
CODEN = "SFENDP",
DOI = "https://doi.org/10.1145/340855.340885",
ISSN = "0163-5948 (print), 1943-5843 (electronic)",
ISSN-L = "0163-5948",
bibdate = "Wed Aug 1 17:13:50 MDT 2018",
bibsource = "http://www.math.utah.edu/pub/tex/bib/java2000.bib;
http://www.math.utah.edu/pub/tex/bib/sigsoft2000.bib",
abstract = "Program verification and program transformation are
two research areas that have different goals. Program
verification aims to increase confidence in software
through the use of formal methods and systematic
testing. Program transformation rearranges the
structure of programs to increase their efficiency or
to make them more amenable to some other form of
processing. Despite being funded under different NSF
awards from the Software Engineering and Languages
program on the two different areas above the authors
are collaborating to apply results from both awards to
develop a set of tools, called Bandera, for
transforming Java programs into a form that is amenable
to verification using existing model checking tools.",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGSOFT Software Engineering Notes",
journal-URL = "https://dl.acm.org/citation.cfm?id=J728",
}