1304 search results - page 60 / 261 » Model Checking C Programs Using F-SOFT |
147
Voted
ACMICEC
2007
ACM
15 years 6 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
113
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
122
click to vote
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
106
Voted
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
123
Voted
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...