An axiom system for sequence-based specification

DOI10.1016/j.tcs.2009.06.041zbMath1187.68316OpenAlexW2033392342WikidataQ114013036 ScholiaQ114013036MaRDI QIDQ1044834

Lan Lin, Stacy J. Prowell, Jesse H. Poore

Publication date: 15 December 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.06.041

zbMATH Keywords

representationaxiom systemautomatonsoftware specificationmealy machinesequence-based specification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Applying string-rewriting to sequence-based specification

Uses Software

• SCR

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Representation of a class of nondeterministic semiautomata by canonical words.
• REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES, PART II: SPECIFICATION OF SOFTWARE MODULES
• The new math of computer programming
• Derivatives of Regular Expressions
• REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES