243 search results - page 42 / 49 » Software Testing via Model Checking |
PPDP
2007
Springer
14 years 3 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
—An increasing number of real-time systems are embedded in mission critical systems such as target tracking systems, in which workloads may dynamically vary, for example, dependi...
AC
2000
Springer
13 years 8 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
Robust distributed systems commonly employ high-level recovery mechanisms enabling the system to recover from a wide variety of problematic environmental conditions such as node f...