JRF-E: using model checking to give advice on eliminating memory model-related bugs
Kim, Kyung Hee, Yavuz-Kahveci, Tuba, Sanders, Beverly A.
Published in Automated software engineering (01.12.2012)
Published in Automated software engineering (01.12.2012)
Get full text
Journal Article
JRF-E: using model checking to give advice on eliminating memory model-related bugs
Kim, Kyung Hee, Yavuz-Kahveci, Tuba, Sanders, Beverly A.
Published in Automated software engineering (01.12.2012)
Published in Automated software engineering (01.12.2012)
Get full text
Journal Article
Action Language Verifier, Extended
Yavuz-Kahveci, Tuba, Bartzis, Constantinos, Bultan, Tevfik
Published in Computer Aided Verification (2005)
Published in Computer Aided Verification (2005)
Get full text
Book Chapter
Conference Proceeding
Action Language Verifier
Bultan, T., Yavuz-Kahveci, T.
Published in Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)
Published in Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)
Get full text
Conference Proceeding