77 search results - page 2 / 16 » A Logic for Knowledge, Correctness, and Real Time |
BIRTHDAY
2012
Springer
12 years 1 months ago
2012
Springer
Embedded systems must interact with their real-time environment in a timely and dependable fashion. Most embeddedsystems architectures and design processes consider “nonfunction...
TIME
2009
IEEE
14 years 5 days ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
BIRTHDAY
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
DFT
2003
IEEE
13 years 10 months ago
2003
IEEE
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...