Improving Static Variable Orders Via Invariants

DOI10.1007/978-3-540-73094-1_8MaRDI QIDQ3612927zbMATH OpenOpenAlexFDO

Authors Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu

Publication date 11 March 2009

Published in Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73094-1_8

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Statically inferring complex heap, array, and numeric invariants
• Order-invariant types and their applications
• Tools and Algorithms for the Construction and Analysis of Systems
• Elaborating evaluation-order polymorphism

Cited in

(3)

• Gradient-based variable ordering of decision diagrams for systems with structural units
• Component-wise incremental LTL model checking
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• GreatSPN
• GreatSPN 1.7

This page was built for publication: Improving Static Variable Orders Via Invariants

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