A suite of tools for debugging distributed autonomous systems

DOI10.1023/B:FORM.0000017720.64153.57zbMath1073.68525MaRDI QIDQ1878922

David Kortenkamp, Tod Milam, Joaquín L. Fernández, Reid G. Simmons

Publication date: 9 September 2004

Published in: Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

data visualizationinterval logicdebugging autonomous systemsdistributed data loggingrun-time verificationverification of distributed control programs

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items (1)

Combining test case generation and runtime verification

This page was built for publication: A suite of tools for debugging distributed autonomous systems