1018 search results - page 16 / 204 » Abstraction and Refinement in Model Checking |
130
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Regular Tree Model Checking Ahmed Bouajjani, Peter Habermehl 1 LIAFA, University Paris 7, Case 7014, 2, place Jussieu, F-75251 Paris Cedex 05, France Adam Rogalewicz, Tom´aˇs Voj...
131
Voted
IPL
2010
15 years 1 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
130
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...
125
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements...
108
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG