714 search results - page 80 / 143 » Certifying Model Checkers |
128
click to vote
EUROMICRO
2007
IEEE
15 years 5 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
135
click to vote
GG
2010
Springer
15 years 3 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
129
click to vote
FCSC
2008
15 years 3 months ago
2008
The population protocol model [2] has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with e...
134
click to vote
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
129
Voted
STTT
2010
14 years 10 months ago
2010
Abstract. We report here on an experimental investigation of LTL satisfiability checking via a reduction to model checking. By using large LTL formulas, we offer challenging model-...