1111 search results - page 87 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
132
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Model programs are used as high-level behavioral specifications typically representing abstract state machines. For modeling reactive systems, one uses input-output mode...
121
click to vote
HYBRID
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...
120
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
111
Voted
MABS
2000
Springer
15 years 7 months ago
2000
Springer
g of target systems attempted but rather an abstraction of the target systems is modelled and insights bout the abstraction then applied back to the target systems. The MABS modell...
111
Voted
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...