A Counterexample-Guided Refinement Tool for Open Procedural Programs

A Dimovski, Dan Ghica, R Lazic, A Valmari

Research output: Contribution to conference (unpublished)Paper

11 Citations (Scopus)
Original languageEnglish
Pages288-292
Number of pages5
Publication statusPublished - 1 Jan 2006
EventModel Checking Software, Proceedings of 13th International SPIN Workshop 2006 -
Duration: 1 Jan 2006 → …

Conference

ConferenceModel Checking Software, Proceedings of 13th International SPIN Workshop 2006
Period1/01/06 → …

Cite this