Login / Signup

Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions.

Ulrich Ultes-NitscheSimon 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