Login / Signup
Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions.
Ulrich Ultes-Nitsche
Simon St. James
Published in:
Softw. Test. Verification Reliab. (2003)
Keyphrases
</>
efficient computation
database
real time
high level
worst case
artificial intelligence
formal verification
data mining
genetic algorithm
trade off
model checking
game theory
structural properties