✦ LIBER ✦

Analysis and verification of real-time systems using quantitative symbolic algorithms

✍ Scribed by Sérgio Vale Aguiar Campos; Edmund Clarke

Publisher: Springer
Year: 1999
Tongue: English
Weight: 177 KB
Volume: 2
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090050033

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Real-Time Systems || Analysis and Verifi

Real-Time Systems || Analysis and Verification of Non-Real-Time Systems

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 279 KB 👁 2 views

Formal Specification and Verification of

Formal Specification and Verification of Real-Time Systems using Graph Grammars

✍ Leonardo Michelon; Simone André da Costa; Leila Ribeiro 📂 Article 📅 2007 🏛 SciELO 🌐 English ⚖ 306 KB

Analysis of phosphodiesterase expression

Analysis of phosphodiesterase expression using quantitative real time PCR

✍ Viktor Lakics; Eric Karran; Frank G Boess 📂 Article 📅 2005 🏛 BioMed Central 🌐 English ⚖ 191 KB

Guest editors’ introduction: quantitativ

Guest editors’ introduction: quantitative analysis of real-time embedded systems

✍ Peter Buchholz; Joost-Pieter Katoen; Marcel Verhoef 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 56 KB

Modeling and verification of real-time s

Modeling and verification of real-time systems based on equations

✍ Kazuhiro Ogata; Kokichi Futatsugi 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 358 KB

Translation and Optimization in the Veri

Translation and Optimization in the Verification of Real-Time Systems

✍ Ernst-Rüdiger Olderog 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 48 KB

Compilation or translation is not only an issue at the level of program but also at the level of specification. This talk considers the design of real-time software for Programmable Logic Controllers (PLCs) and discusses questions of correctness and optimization for translations between different se