Theory exploration: Conjecturing, testing and reasoning about programs
Paper in proceeding, 2020
Author
Moa Johansson
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Electronic Proceedings in Theoretical Computer Science, EPTCS
20752180 (ISSN)
Vol. 320
8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020
Dublin, Ireland,
Dublin, Ireland,
Subject Categories
Computer Engineering
Software Engineering
Computer Science