Automatic Verification of Bossa Scheduler Properties

DOI10.1016/j.entcs.2007.05.026zbMath1335.68038OpenAlexW2018225895WikidataQ126235819 ScholiaQ126235819MaRDI QIDQ5178992

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

zbMATH Keywords

schedulingmodel checkingrefinementWS1S

Mathematics Subject Classification ID

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

Uses Software

• MONA
• UNITY
• FAST

Cites Work

• Comments on Always-true is not invariant: Assertional reasoning about invariance
• The B-Book
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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