Unisex: A unix-based symbolic executor for pascal

DOI10.1002/SPE.4380150504MaRDI QIDQ3221390zbMATH OpenOpenAlexFDO

Authors Steven T. Eckmann, Richard A. Kemmerer

Publication date 1985

Published in Software: Practice and Experience (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/spe.4380150504

zbMATH Keywords

formal verificationlanguagesprogram validationprogrammingsoftware toolssymbolic executiontesting

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Unbeast: Symbolic Bounded Synthesis
• Pascal \(\to{} C\): An effective programming tool for conversion of different Pascal dialects under UNIX-like operating systems
• Symbolic execution: A semantic approach

Describes a project that uses

Uses Software

• Ada95

This page was built for publication: Unisex: A unix-based symbolic executor for pascal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3221390)