42 citations · 127 across the 17 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 9 cited
Generating and Solving Symbolic Parity Games
Gijs Kant, Jaco van de Pol
We present a new tool for verification of modal mu-calculus formulae for process specifications, based on symbolic parity games. It enhances an existing method, that first encodes…
q-bio.MN2014★ 11 cited
Setting Parameters for Biological Models With ANIMO
Stefano Schivo, Jetse Scholma, Marcel Karperien +3
ANIMO (Analysis of Networks with Interactive MOdeling) is a software for modeling biological networks, such as e.g. signaling, metabolic or gene networks. An ANIMO model is essenti…