32 search results - page 2 / 7 » Automated Assume-Guarantee Reasoning by Abstraction Refineme... |
TACAS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
ICCBR
1997
Springer
13 years 9 months ago
1997
Springer
CAV
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
FLAIRS
2006
13 years 6 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
CSL
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...