662 search results - page 39 / 133 » Model Checking Procedures for Infinite State Systems |
149
Voted
ATVA
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
91
Voted
WSC
2007
15 years 4 months ago
2007
Lean principles require the identification of an ideal system state along with an associated policy to achieve that state. This paper discusses the use of multi-criteria models in...
115
Voted
IEE
2008
15 years 2 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
120
Voted
ENTCS
2006
15 years 2 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
125
Voted
AC
2000
Springer
15 years 2 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...