Kleene Algebra with Tests and Coq Tools for While Programs
type: Dataset
description: 16+3 pages
landing page: Interactive Theorem Proving 2013
keyword: conference-papers
keyword: coq
keyword: decision-procedure
keyword: hoare-logic
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: infoinfo-mscomputer-science-csmathematical-software-csms
keyword: infoinfo-plcomputer-science-csprogramming-languages-cspl
keyword: kat
keyword: kleene-algebra-with-tests
keyword: program-verification
keyword: regular-expressions
keyword: while-programs
issued: 2026-05-14T15:16:40.584503
modified: 2026-05-14T15:16:40.584509
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

Kleene Algebra with Tests and Coq Tools for While Programs
type: Distribution
format: HTML
access URL: https://hal.science/hal-00785969
issued: 2026-05-14T15:16:40.633138
modified: 2026-05-14T15:16:40.558622