4460 search results - page 674 / 892 » Formal methods for interactive systems |
201
click to vote
CAV
1999
Springer
15 years 9 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
192
click to vote
LCPC
1992
Springer
15 years 8 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
119
click to vote
ACOM
2004
Springer
15 years 8 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
143
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
155
click to vote
EKAW
2006
Springer
15 years 8 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...