2586 search results - page 42 / 518 » Automatic Abstraction for Congruences |
ICCD
1999
IEEE
13 years 11 months ago
1999
IEEE
ions", in IEEE Transactions on CAD of VLSI, 25(3):403-412, March, 2006. , E. Mercer, C. Myers, "Modular Verification of Timed Systems Using Automatic Abstraction" in...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
IPMI
1997
Springer
14 years 8 months ago
1997
Springer
Abstract: Neuroanatomical and neurofunctional studies are often referenced to a high resolution MR brain dataset. To allow intersubject comparisons of cortical structures, one need...
ESOP
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a separation logic framework which can express properties of memory separation between different points in a program. We describe an algorithm based on this fr...
ICWE
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. The demonstration shows the system Welkin, a multilingual system that analyses one or several source texts with a cascade of linguistic-processing modules, including synt...