2520 search results - page 63 / 504 » Model-checking behavioral programs |
213
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
94
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
86
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...
112
click to vote
ENTCS
2008
15 years 21 days ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
138
Voted
TII
2008
15 years 16 days ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...