Repositories list

• tf-dynamics-op

  Public
  TensorFlow op to calculate a robot-dynamics-based loss and its preconditioned gradient

  C++

  •

  MIT License

  •0•0•0•0•Updated May 16, 2022May 16, 2022

• scemf

  Public
  EMF Metamodel SystemC and C++ Standard Library

  Java

  •

  MIT License

  •0•0•0•0•Updated Apr 17, 2021Apr 17, 2021

• verification-runtime-analysis

  Public
  Sources of the DATE 2020 Paper "Verification Runtime Analysis"

  0•0•0•0•Updated Jan 9, 2020Jan 9, 2020

• specific-sysml

  Public
  Textual Modelling Language for a formal subset of SysML

  HTML

  •

  MIT License

  •1•0•0•0•Updated Aug 8, 2019Aug 8, 2019

• selfie-demo

  Public
  Interactive demonstrator -- exploration of self-verification

  TypeScript

  •0•0•0•0•Updated May 21, 2019May 21, 2019

• chimpanc

  Public
  Graphical user interface to explore and integrate functional change management, verification and NLP techniques from the SPECifIC project

  JavaScript

  •

  MIT License

  •0•0•0•0•Updated Feb 12, 2017Feb 12, 2017

• secore

  Public
  Semantic diffs and merges on ECore models

  Scala

  •

  MIT License

  •0•0•0•0•Updated Feb 3, 2017Feb 3, 2017

• egraph

  Public
  Store ECore resources in neo4j database

  Scala

  •

  MIT License

  •0•0•0•0•Updated Feb 3, 2017Feb 3, 2017

• stools

  Public
  Tools for semantic diff algorithms

  Java

  •

  MIT License

  •0•0•0•0•Updated Jan 27, 2017Jan 27, 2017

• specific-dependencies

  Public
  project files to bundle all eclipse osgi dependencies of the SPECifIC toolset

  MIT License

  •0•0•0•0•Updated Jan 9, 2017Jan 9, 2017

• guideline-checking

  Public
  MIT License

  •0•0•0•0•Updated Jan 6, 2017Jan 6, 2017

• specific-ocl

  Public
  utilities to work with ocl in a verification context

  Scala

  •

  MIT License

  •0•0•0•0•Updated Jan 4, 2017Jan 4, 2017