12981 search results - page 259 / 2597 » Model Checking (Abstract) |
183
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
218
click to vote
SYNTHESE
2008
15 years 3 months ago
2008
g Interpolation Theorem in abstract model theory Jouko V
210
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
142
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
119
click to vote
IFL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...