4126 search results - page 773 / 826 » Relationships with other Formalisms |
159
click to vote
TACAS
2009
Springer
16 years 27 days ago
2009
Springer
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...
150
click to vote
VMCAI
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
154
click to vote
DSD
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...
144
click to vote
ACISP
2009
Springer
16 years 23 days ago
2009
Springer
Denial of service resilience is an important practical consideration for key agreement protocols in any hostile environment such as the Internet. There are well-known models that ...
187
click to vote
WOLLIC
2009
Springer
16 years 22 days ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...