Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic

Lecture notes in computer science 2026 Open access

Read full text
Authors: Christian Emil Nielsen, Mathias Faber Kristiansen, Patrick Bahr
DOI: 10.1007/978-3-032-15981-6_3
Cited by: 0
References: 14

Fields of Study & Subjects

Software Testing and Debugging Techniques Logic programming and type systems Formal Methods in Verification

Publication details

Journal / source
Lecture notes in computer science
Pages
39–56
Publication date
1 January 2026
Language
EN