Formal verification and quantitative metrics of MPSoC data dynamics

DOI10.1007/S00165-017-0444-0zbMATH Open1382.68145OpenAlexW2767475216MaRDI QIDQ1707342FDOQ1707342

Hui Zhang, Jinzhao Wu

Publication date: 29 March 2018

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-017-0444-0

Recommendations

• Models and formal verification of multiprocessor system-on-chips
• Communication mechanism designed for distributed intrusion detection system
• Publication:4935948
• Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation
• Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip

zbMATH Keywords

hybrid automataprobabilistic timed automataformal verificationMPSoCdata dynamicsreach-ratio metric

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Differential dynamic logic for hybrid systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reachability Analysis of Hybrid Systems Using Support Functions
• Hybrid Systems: Computation and Control
• Automatic verification of real-time systems with discrete probability distributions.
• Symbolic model checking for probabilistic timed automata
• Temporal Verification of Reactive Systems: Response
• Non-linear loop invariant generation using Gröbner bases
• Performance analysis of probabilistic timed automata using digital clocks
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stochastic games for verification of probabilistic timed automata
• Algorithmic analysis of nonlinear hybrid systems
• Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
• Monte Carlo optimisation for conflict resolution in air traffic control
• Title not available (Why is that?)
• Automated Technology for Verification and Analysis
• Models and formal verification of multiprocessor system-on-chips

Uses Software

• PRISM
• PHAVer
• HyTech
• RSOLVER
• Benchmarks
• HSolver
• SpaceEx

This page was built for publication: Formal verification and quantitative metrics of MPSoC data dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1707342)