195 search results - page 23 / 39 » Efficient Model Checking of PSL Safety Properties |
121
click to vote
DAC
2004
ACM
16 years 20 days ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
111
click to vote
PADS
2009
ACM
15 years 6 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
107
click to vote
CC
2003
Springer
15 years 5 months ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
100
click to vote
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...