726 search results - page 99 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
137
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
146
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
125
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
137
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
176
click to vote
ICEISSAM
2004
15 years 5 months ago
2004
Due to the different nature of the available dynamic interactions between components afforded by some middleware infrastructure, distributed information systems (DIS) behave differ...