Sciweavers

500 search results - page 9 / 100
» Thread-Modular Abstraction Refinement
Sort
View
SDMW
2004
Springer
15 years 3 months ago
Abstracting and Refining Authorization in SQL
ing and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 The SQL standard specifies authorization via a large set of rather opaque rules, which are difficult to unders...
Arnon Rosenthal, Edward Sciore
DATE
2009
IEEE
92views Hardware» more  DATE 2009»
15 years 4 months ago
Strengthening properties using abstraction refinement
Mitra Purandare, Thomas Wahl, Daniel Kroening
APN
2007
Springer
15 years 3 months ago
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Pierre Ganty, Jean-François Raskin, Laurent...