Sage Journals: Discover world-class research

Retricted access

Research article

First published 1999-12

Full Abstractness of a Metric Semantics for Action Refinement

J.I. den Hartog, E.P. de Vink, J.W. de Bakker

Fundamenta Informaticae

Open access

Research article

First published 2009-2

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems 1

Javier Esparza, Stefan Kiefer, Stefan Schwoon

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2010-2

HaifaSat : a SAT solver based on an Abstraction/Refinement model

Roman Gershman, Ofer Strichman

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2008-10

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

Pierre Ganty, Jean-François Raskin, Laurent Van Begin

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction *

Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen

Fundamenta Informaticae

Retricted access

Research article

First published 2005-11

Automatic 3D Protein Structure Classification without Structural Alignment

Zeyar Aung, Kian-Lee Tan

Journal of Computational Biology

Retricted access

Research article

First published 2004-1

Relating Communicating Processes with Different Interfaces

Jonathan Burton, Maciej Koutny, Giuseppe Pappalardo

Fundamenta Informaticae

Free access

Research article

First published 2007-5

Formal Verification for C Program

Junyan Qian, Baowen Xu

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2008-12

Slicing Abstractions

Ingo Brückner, Klaus Dräger, Bernd Finkbeiner [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2002-2

ON ARCHITECTURAL SUPPORT FOR BEHAVIOUR REFINEMENT IN DISTRIBUTED SYSTEMS DESIGN

Dick Quartel, Luís Ferreira Pires, Marten van Sinderen

Journal of Integrated Design and Process Science

Search results