Sciweavers

Share
11 search results - page 1 / 3
» tacas 2000
Sort
View
TACAS
2000
Springer
109views Algorithms» more  TACAS 2000»
8 years 9 months ago
An Extensible Type System for Component-Based Design
Yuhong Xiong, Edward A. Lee
TACAS
2000
Springer
96views Algorithms» more  TACAS 2000»
8 years 9 months ago
On Memory-Block Traversal Problems in Model-Checking Timed-Systems
Fredrik Larsson, Paul Pettersson, Wang Yi
TACAS
2000
Springer
87views Algorithms» more  TACAS 2000»
8 years 9 months ago
Symbolic Reachability Analysis Based on SAT-Solvers
Parosh Aziz Abdulla, Per Bjesse, Niklas Eén
TACAS
2000
Springer
106views Algorithms» more  TACAS 2000»
8 years 9 months ago
Verification of Parameterized Systems Using Logic Program Transformations
Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...
TACAS
2000
Springer
134views Algorithms» more  TACAS 2000»
8 years 9 months ago
Integrating Low Level Symmetries into Reachability Analysis
We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. Th...
Karsten Schmidt 0004
books