Bounds in w-Regularity

  • Authors:
  • Mikolaj Bojanczyk;Thomas Colcombet

  • Affiliations:
  • LIAFA, France;CNRS/IRISA, France

  • Venue:
  • LICS '06 Proceedings of the 21st Annual IEEE Symposium on Logic in Computer Science
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The UCLID project seeks to develop formal verification tools for infinite-state systems having a degree of automation comparable to that of model checking tools for finitestate systems. The UCLID modeling language describes systems where the state variables ...