1791 search results - page 102 / 359 » Behavioral Operations |
123
click to vote
DAC
1990
ACM
15 years 7 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
127
click to vote
TACAS
1997
Springer
15 years 7 months ago
1997
Springer
This paper describes a compositional approach to generate the labeled transition system representing the behavior of a Lotos program by repeatedly alternating composition and reduc...
128
click to vote
ICST
2009
IEEE
15 years 9 months ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...
144
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
121
click to vote
FOSSACS
2005
Springer
15 years 8 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...