282 citations
- Vanderbilt UniversityUS11 papers
- Rutgers, The State University of New JerseyUS3 papers
- Centre Inria de l'Université Grenoble AlpesFR2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- Department of Mathematical SciencesRU2 papers
- GIPSA-LabFR2 papers
- Institut polytechnique de GrenobleFR2 papers
- Rutgers Sexual and Reproductive Health and RightsNL2 papers
- Université Grenoble AlpesFR2 papers
- Virginia TechUS2 papers
- Arizona State UniversityUS1 paper
- Delft University of TechnologyNL1 paper
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2022
Syntheto: A Surface Language for APT and ACL2
Alessandro Coglio, Eric McCarthy, Stephen Westfold +3
Syntheto is a surface language for carrying out formally verified program synthesis by transformational refinement in ACL2 using the APT toolkit. Syntheto aims at providing more fa…
cs.SE2018
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous semantics, allows the construction of systems that are correct-by-design. BIP has been effectively used for th…