Skip to content

Latest commit

 

History

History
3 lines (2 loc) · 281 Bytes

README.md

File metadata and controls

3 lines (2 loc) · 281 Bytes

Rvstd

Rvstd is a collection of high-quality generic data structures and algorithms for runtime verification built on the Boost C++ libraries. The library aims to provide efficient and reusable components for developing runtime verification tools for complex real-time systems.