ProofChecker

Matthias F. M. Stallmann · Suzanne P. Balik · Robert D. Rodman · Sina Bahram · Michael C. Grace · Susan D. High

6 citations0/0 files storedACM Conference on Innovation and Technology in Computer Science Education (ITiCSE)

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Digital Accessibility for Disabilities semigroups and automata theory Educational Technology and Assessment

Abstract

ProofChecker is a graphical program based on the notion of formal correctness proofs that allows students, both sighted and visually impaired, to draw a deterministic finite automaton (DFA) and determine whether or not it correctly recognizes a given language. Sighted students use the mouse and graphical controls to draw and manipulate the DFA. Keyboard shortcuts, together with the use of a screen reader to voice the accessible descriptions provided by the program, allow visually impaired students to do the same.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 6 citations exist upstream.

References

2002Mental Models of Blind Users in the Windows Environment

Cited by

2011Combinatorial graph creation and navigation for blind people 2012Making turing machines accessible to blind students

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.