1472 search results - page 33 / 295 » On Model Checking Infinite-State Systems |
111
Voted
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
131
Voted
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
142
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most model checke...
118
click to vote
DSRT
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...