507 search results - page 14 / 102 » Counterexample-Guided Abstraction Refinement |
JAIR
2008
13 years 9 months ago
2008
TC
2010
13 years 8 months ago
2010
VSTTE
2010
Springer
13 years 7 months ago
2010
Springer
SIAMSC
2011
13 years 19 days ago
2011
Abstract. Adaptive multiscale methods are among the many effective techniques for the numerical solution of partial differential equations. Efficient grid management is an import...
MFCS
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...