Browsing by Subject Parallel programs (Computer programs) -- Verification
Showing results 1 to 6 of 6
Issue Date | Title | Author(s) |
2006 | A compositional algorithm for parallel model checking of polygonal hybrid systems | Pace, Gordon J.; Schneider, Gerardo |
2008 | Computation and visualisation of phase portraits for model checking SPDIs | Pace, Gordon J.; Schneider, Gerardo |
2004 | Model checking polygonal differential inclusions using invariance kernels | Pace, Gordon J.; Schneider, Gerardo |
2008 | Relaxing goodness is still good | Pace, Gordon J.; Schneider, Gerardo |
2008 | Relaxing goodness is still good for SPDIs | Pace, Gordon J.; Schneider, Gerardo |
2006 | Static analysis of SPDIs for state-space reduction | Pace, Gordon J.; Schneider, Gerardo |