2 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2010★ 2 cited
Safety-Guarantee Controller Synthesis for Cyber-Physical Systems
Pritam Roy, Paulo Tabuada, Rupak Majumdar
The verification and validation of cyber-physical systems is known to be a difficult problem due to the different modeling abstractions used for control components and for software…
cs.LO2010
Interface Building for Software by Modular Three-Valued Abstraction Refinement
Pritam Roy
Verification of software systems is a very hard problem due to the large size of program state-space. The traditional techniques (like model checking) do not scale; since they incl…