EasyChair Smart SlideDocs/Log in
Title:Model checking and its applications
Authors:Orna Grumberg
Conference:VDMW 2018
Tags:automatic program repair, modular symbolic execution, program difference and verification
Abstract:

In this talk we show how to exploit concepts and technologies from model checking to assist in stages of program development.

In particular, we focus on:

– Program difference

– Automatic program repair

 
Model checking and its applications
 
1
3
5
7
9
11
13
15
17
19
21
23
25
27
29
31
33
35
37
39
41
43
45
47
49
51
53
55
57
59
61
63
1of63
1
2
3
4
Copyright © 2002 – 2024 EasyChair