scholarly journals Symbolic Simulation of Dataflow Synchronous Programs with Timers

2018 ◽  
pp. 45-70
Author(s):  
Guillaume Baudart ◽  
Timothy Bourke ◽  
Marc Pouzet
Keyword(s):  
Symbolic Simulation

scholarly journals A SAT-Based Algorithm for Reparameterization in Symbolic Simulation

2003 ◽  
Author(s):  
Pankaj Chauhan ◽  
Daniel Kroening ◽  
Edmund Clarke
Keyword(s):  
Symbolic Simulation

scholarly journals On the Verification of a WiMax Design Using Symbolic Simulation

2013 ◽  
Vol 122 ◽  
pp. 23-37
Author(s):  
Salim Ismail Al-Akhras ◽  
Sofiène Tahar ◽  
Gabriela Nicolescu ◽  
Michel Langevin ◽  
Pierre Paulin
Keyword(s):  
Symbolic Simulation

Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies

2021 ◽  
pp. 257-275
Author(s):  
Rebecca Haehn ◽  
Erika Ábrahám ◽  
Nils Nießen
Keyword(s):  
Symbolic Simulation
Sign in / Sign up

Export Citation Format

Share Document