IF: An Intermediate Representation for SDL and its Applications
Authors:
- Marius BozgaMBMarius Bozga
- Jean-Claude FernandezJFJean-Claude Fernandez
- Lucian GhirvuLGLucian Ghirvu
- Susanne GrafSGSusanne Graf
- Jean-Pierre KrimmJKJean-Pierre Krimm
- Laurent MounierLMLaurent Mounier
- Joseph SifakisJSJoseph Sifakis
- 1 January 1999
- book chapter
- Published by Elsevier
- p. 423-440
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Symbolic Model Checking for Real-Time SystemsInformation and Computation, 1994
- Model-Checking in Dense Real-TimeInformation and Computation, 1993
- Constant propagation with conditional branchesACM Transactions on Programming Languages and Systems, 1991
- An improved algorithm for decentralized extrema-finding in circular configurations of processesCommunications of the ACM, 1979