1895 search results - page 289 / 379 » Using ATL for Checking Models |
134
Voted
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a method which computes optimized representations for non-convex polyhedra. Our method detects so-called redundant linear constraints in these representations ...
113
click to vote
FSTTCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
114
click to vote
LCPC
1999
Springer
15 years 6 months ago
1999
Springer
One of the challenges present to a Java compiler is Java’s frequent use of runtime exceptions. These exceptions affect performance directly by requiring explicit checks, as wel...
131
click to vote
RTAS
1997
IEEE
15 years 6 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
114
Voted
ATVA
2009
Springer
15 years 6 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...