12981 search results - page 171 / 2597 » Model Checking (Abstract) |
107
click to vote
ISVLSI
2007
IEEE
15 years 9 months ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
111
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
101
click to vote
BIRTHDAY
2010
Springer
15 years 3 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
149
click to vote
ENTCS
2007
15 years 2 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
147
click to vote
TACAS
2007
Springer
15 years 9 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...