Automated Generation of Polynomial Invariants for Imperative Program Verification in Theorema

Activity: Talk or presentation › Invited talk › unknown

Description

Contributed talk at INTAS Project Meeting, Institute eAustria, Timisoara, Romania
Period10 Dec 2006
Event titleINTAS Project Meeting, Institute eAustria, Timisoara, Romania
Event typeOther
LocationRomaniaShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101020 Technical mathematics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra