21 citations · 115 across the 16 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.SE2015★ 2 cited
Simulator Semantics for System Level Formal Verification
Toni Mancini, Federico Mari, Annalisa Massini +2
Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators…
cs.LO2015
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification
Javier Esparza, Enrico Tronci
This volume contains the proceedings of the Sixth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2015). The symposium took place in Genoa, Italy…