MU-CSeq 0.4: individual memory location unwindings: (competition contribution)


Tomasco, Ermenegildo, Nguyen, Truc, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) MU-CSeq 0.4: individual memory location unwindings: (competition contribution) At 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).

Download

[img] PDF SVCOMP_MUCSEQ_2016.pdf - Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.

Download (163kB)
[img] PDF SVCOMP_MUCSEQ_2016.pdf - Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.

Download (163kB)
Item Type: Conference or Workshop Item (Other)
Venue - Dates: 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016-04-10
Organisations: Electronic & Software Systems
ePrint ID: 386736
Date :
Date Event
10 April 2016Published
Date Deposited: 30 Jan 2016 22:50
Last Modified: 06 May 2017 01:26
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/386736

Actions (login required)

View Item View Item