Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen
| Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen |
| Autore | Katoen Jost-Pieter |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | KatoenJoost-Pieter |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Formal methods (Computer science)
Real-time data processing Computer science |
| ISBN | 3-540-48778-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lecture -- Fully Abstract Characterization of Probabilistic May Testing -- Verification of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms -- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems -- Root Contention in IEEE 1394 -- Model Checking Probabilistic Systems -- Automatic Verification of Real-Time Systems with Discrete Probability Distributions -- ProbVerus: Probabilistic Symbolic Model Checking -- Semantics of Probabilistic Process Calculi -- Process Algebra with Probabilistic Choice -- An Axiomatization of Probabilistic Testing -- Invited Lecture -- Verification of Hybrid Systems -- Semantics of Real-Time Processes -- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics -- Comparing the Efficiency of Asynchronous Systems -- Real-Time Compilation -- A Formal Model of Real-Time Program Compilation -- Stochastic Process Algebra -- Specifying Performance Measures for PEPA -- Semi-numerical Solution of Stochastic Process Algebra Models -- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation -- Invited Lecture -- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach -- Modeling and Verification of Real-Time Systems -- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal -- Verifying Progress in Timed Systems -- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover -- Modelling Timeouts without Timelocks. |
| Record Nr. | UNINA-9910143646603321 |
Katoen Jost-Pieter
|
||
| Berlin, Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen
| Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / / Jost-Pieter Katoen |
| Autore | Katoen Jost-Pieter |
| Edizione | [1st ed. 1999.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , [1999] |
| Descrizione fisica | 1 online resource (X, 362 p.) |
| Disciplina | 004.0151 |
| Altri autori (Persone) | KatoenJoost-Pieter |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Formal methods (Computer science)
Real-time data processing Computer science |
| ISBN | 3-540-48778-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Lecture -- Fully Abstract Characterization of Probabilistic May Testing -- Verification of Probabilistic System -- Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms -- Establishing Qualitative Properties for Probabilistic Lossy Channel Systems -- Root Contention in IEEE 1394 -- Model Checking Probabilistic Systems -- Automatic Verification of Real-Time Systems with Discrete Probability Distributions -- ProbVerus: Probabilistic Symbolic Model Checking -- Semantics of Probabilistic Process Calculi -- Process Algebra with Probabilistic Choice -- An Axiomatization of Probabilistic Testing -- Invited Lecture -- Verification of Hybrid Systems -- Semantics of Real-Time Processes -- A Parallel Operator for Real-Time Processes with Predicate Transformer Semantics -- Comparing the Efficiency of Asynchronous Systems -- Real-Time Compilation -- A Formal Model of Real-Time Program Compilation -- Stochastic Process Algebra -- Specifying Performance Measures for PEPA -- Semi-numerical Solution of Stochastic Process Algebra Models -- Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation -- Invited Lecture -- Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach -- Modeling and Verification of Real-Time Systems -- Formal Verification of a Power Controller Using the Real-Time Model Checker Uppaal -- Verifying Progress in Timed Systems -- Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover -- Modelling Timeouts without Timelocks. |
| Record Nr. | UNISA-996465309103316 |
|
Katoen Jost-Pieter
|
||
| Berlin, Heidelberg : , : Springer, , [1999] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||