336 search results - page 26 / 68 » Monitoring modulo theories |
151
click to vote
ENTCS
2007
15 years 3 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
137
Voted
SAT
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. SAT Modulo Theories (SMT) consists of deciding the satisfiability of a formula with respect to a decidable background theory, such as linear integer arithmetic, bit-vect...
152
click to vote
ENTCS
2006
15 years 4 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
139
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
A correct video segmentation, namely the detection of moving objects within a scene plays a very important role in many application in safety, surveillance, trafic monitoring and ...
123
click to vote
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...