DSValidator

DOI10.1145/3178126.3178151zbMath1409.68170arXiv1610.07066OpenAlexW2796090869MaRDI QIDQ4561461

Iury Bessa, Lennon Chaves, Daniel Kroening, Lucas Cordeiro

Publication date: 6 December 2018

Published in: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1610.07066

zbMATH Keywords

MATLABmodel checkingdigital systems

Mathematics Subject Classification ID

Digital control/observation systems (93C62) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

DSValidator

Uses Software

• Matlab
• CPAchecker
• CBMC
• DSVerifier

This page was built for publication: DSValidator