1283 search results - page 221 / 257 » A Survey on Temporal Logics |
175
click to vote
VMCAI
2009
Springer
16 years 27 days ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
140
click to vote
GLVLSI
2009
IEEE
16 years 26 days ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
154
click to vote
ATAL
2009
Springer
16 years 21 days ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
158
click to vote
ICFEM
2009
Springer
16 years 20 days ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
152
click to vote
CEC
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract— 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 o...