Project
Reverse Dependencies for stamina-core
The projects listed here declare stamina-core as a runtime or development dependency
0.0
This project implements the formal analysis techniques available on the
gisele process modeling language.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Activity
0.0
This project provides a virtual machine for the modeling language +gisele+
developed in the Gisele and PIPAS research projects at UCLouvain
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Activity
Stamina is an automaton and regular inference toolkit initially developped for the
baseline of the Stamina Competition (stamina.chefbe.net).
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Activity
0.0
Stamina-gui provides a web-based graphical interface for Stamina.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Activity
0.0
Stamina-induction plugs induction algorithm to the stamina toolkit.
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Activity