714 search results - page 97 / 143 » The Formal Specification Language mCRL2 |
124
Voted
IJCAI
1997
15 years 5 months ago
1997
While the Belief, Desire, Intention (BDI) framework is one of the most influential and appealing approaches to rational agent architectures, a gulf often exists between the high-l...
144
Voted
ENTCS
2008
15 years 3 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
119
Voted
JAR
2008
15 years 3 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
163
Voted
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
The semantic annotation of documents is an additional advantage for retrieval, as long as the annotations and their maintenance process scale well. Automatic or semi-automatic ann...
113
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...