714 search results - page 14 / 143 » Formal Verification of Cognitive Models |
107
click to vote
JSA
2008
14 years 11 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
115
click to vote
DAC
1996
ACM
15 years 3 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
ICSE
2008
IEEE-ACM
16 years 15 days ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
131
click to vote
CAISE
2007
Springer
15 years 3 months ago
2007
Springer
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
ENTCS
2008
14 years 11 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...