The Refinement Calculus of Reactive Systems Toolset
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
Topics & Concepts
Computer scienceProgramming languageRefinement calculusPython (programming language)Theory of computationProof assistantCalculus (dental)AlgorithmMathematicsMathematical proofMedicineDentistryGeometryFormal Methods in VerificationLogic, programming, and type systemsModel-Driven Software Engineering Techniques