Sciweavers

500 search results - page 9 / 100
» Thread-Modular Abstraction Refinement
Sort
View
SDMW
2004
Springer
15 years 9 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 11 months ago
Strengthening properties using abstraction refinement
Mitra Purandare, Thomas Wahl, Daniel Kroening
APN
2007
Springer
15 years 10 months ago
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Pierre Ganty, Jean-François Raskin, Laurent...