Automatic Verification of Bossa Scheduler Properties

DOI10.1016/J.ENTCS.2007.05.026zbMATH Open1335.68038OpenAlexW2018225895WikidataQ126235819 ScholiaQ126235819MaRDI QIDQ5178992FDOQ5178992

Jean-Paul Bodeveix, Mamoun Filali, Gilles Muller, Julia L. Lawall

Publication date: 18 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.026

Recommendations

• Verification of schedulability for real-time programs
• Automatable verification of sequential consistency
• Verification of a fieldbus scheduling protocol using timed automata
• scientific article; zbMATH DE number 1497853
• Publication:4490726
• Automatic verification for a class of distributed systems
• Automatic and hierarchical verification for concurrent systems
• Automated Verification of Concurrent Search Structures

zbMATH Keywords

model checkingschedulingrefinementWS1S

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cites Work

• Title not available (Why is that?)
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• The B-Book
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Comments on Always-true is not invariant: Assertional reasoning about invariance

Uses Software

• MONA
• UNITY
• FAST

This page was built for publication: Automatic Verification of Bossa Scheduler Properties

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