237 search results - page 6 / 48 » Automating Refinement Checking in Probabilistic System Desig... |
109
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Traces Kuntal Nanshi, Fabio Somenzi University of Colorado at Boulder ne abstraction refinement and simulation to provide a more efficient approach to checking invariant properti...
123
click to vote
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
132
Voted
TCAD
2008
15 years 2 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
124
click to vote
IJAOSE
2010
14 years 11 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
128
Voted
DAC
1998
ACM
16 years 3 months ago
1998
ACM
We propose an algorithm for assessing probabilistic performance constraints for systems including components with uncertain delays. We make a case for designing systems based on a...