1116 search results - page 139 / 224 » Applying Predicate Abstraction to Abstract State Machines |
FOSSACS
2005
Springer
15 years 4 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
119
click to vote
PARA
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The traditional technique to simulate physical systems modeled by partial differential equations is by means of a time-stepped methodology where the state of the system ...
103
click to vote
COMPLIFE
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to help find description of groups of genes different...
CAV
2009
Springer
15 years 11 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
104
click to vote
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...