#

icst21

Here is 1 public repository matching this topic...

STAR-RG / siesta

Repository with code and replication package for SIESTA, the Simple ImperativE SpecificaTion lAnguage, accepted for publication at ICST'2021

specs specification-language runtime-verification icst icst21

Updated Sep 9, 2021

Improve this page

Add a description, image, and links to the icst21 topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the icst21 topic, visit your repo's landing page and select "manage topics."