899 search results - page 83 / 180 » A CTL-Based Logic for Program Abstractions |
109
Voted
FASE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
98
Voted
CLIMA
2007
15 years 2 months ago
2007
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
88
Voted
JUCS
2008
15 years 16 days ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
101
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
84
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...