1799 search results - page 256 / 360 » The Logic of Correctness in Software Engineering |
147
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
184
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
180
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
240
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
-- In the past decade there has been spectacular growth in the number and size of third-party libraries, frameworks, toolkits and other Application Programming Interfaces (APIs) av...
167
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Instrumented with multiple depth cameras and projectors, LightSpace is a small room installation designed to explore a variety of interactions and computational strategies related...