928 search results - page 95 / 186 » Interpolation-sequence based model checking |
111
Voted
SIGSOFT
2007
ACM
15 years 11 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
62
Voted
FMSD
2006
14 years 10 months ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
94
Voted
QEST
2006
IEEE
15 years 4 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
89
Voted
ECBS
2003
IEEE
15 years 3 months ago
2003
IEEE
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
86
Voted
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...