Abstract | ||
---|---|---|
. It is well-known that a fundamental problem in embeddedcontrol systems is the verification of the safety requirements. Formalmethods and related support tools can successfully be applied in the formalproof that a system is safe. However, the complexity of real systemsis such that automated tools often fail to formally validate such systems.A typical case is when "state explosion" problems arise.In this paper, we show some "abstraction techniques" to make the problemof safety... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/3-540-61772-8_46 | EDCC |
Keywords | Field | DocType |
proving safety properties,control systems | Computer science,Control system,Formal methods,Real systems,Process calculus,Safety property,Formal proof,Distributed computing | Conference |
ISBN | Citations | PageRank |
3-540-61772-8 | 3 | 0.62 |
References | Authors | |
13 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cinzia Bernardeschi | 1 | 226 | 31.87 |
Alessandro Fantechi | 2 | 1199 | 103.40 |
Stefania Gnesi | 3 | 1475 | 120.93 |
Giorgio Mongardi | 4 | 69 | 6.34 |