×

Found 33 Documents (Results 1–33)

Using unified model checking to verify heaps. (English) Zbl 1483.68199

Chan, T-H. Hubert (ed.) et al., Combinatorial optimization and applications. 10th international conference, COCOA 2016, Hong Kong, China, December 16–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10043, 735-743 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Symbolic model checking for alternating projection temporal logic. (English) Zbl 1473.68108

Lu, Zaixin (ed.) et al., Combinatorial optimization and applications. 9th international conference, COCOA 2015, Houston, TX, USA, December 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9486, 481-495 (2015).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: DOI

Bounded model checking of traffic light control system. (English) Zbl 1351.68169

Xue, Jinyun (ed.) et al., Proceedings of the 6th international workshop on harnessing theories for tool support in software (TTSS 2013), Nanchang, China, October 27, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 309, 63-74, electronic only (2014).
MSC:  68Q60 03B44 90B20
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software