1023 search results - page 51 / 205 » Model Checking: Software and Beyond |
156
Voted
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
154
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
171
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
161
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
152
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...