858 search results - page 53 / 172 » Formal Verification of Digital Systems |
CBSE
2006
Springer
15 years 2 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
SIGMETRICS
2008
ACM
14 years 10 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
ENTCS
2008
14 years 10 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
ICST
2009
IEEE
14 years 8 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
107
click to vote
AMAST
2008
Springer
15 years 22 days ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...