1116 search results - page 22 / 224 » Applying Predicate Abstraction to Abstract State Machines |
76
Voted
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Predicative analysis of recursion schema is a method to characterize complexity classes like the class of polynomial time functions. This analysis comes from the works of...
105
click to vote
SEC
2003
15 years 13 days ago
2003
Abstract This paper presents a systematic approach to developing Java Card applets and/or formal specifications for them, starting from descriptions in the form of finite state m...
SBMF
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
CAV
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is di...
85
Voted
EUROGP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...