5015 search results - page 106 / 1003 » Model Checking a Path |
ISVLSI
2007
IEEE
15 years 7 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...
116
Voted
ICTAC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
96
Voted
CAV
2004
Springer
15 years 6 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 ...
88
Voted
FM
1994
Springer
15 years 4 months ago
1994
Springer
Model Checking of Infinite Specifications Daniel Jackson School of Computer Science Carnegie Mellon University Pittsburgh, PA A new method for analyzing specifications in languages...
BIRTHDAY
2010
Springer
15 years 27 days 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...