jMoped

swMATH1486MaRDI QIDQ14221FDOQ14221

Author name not available (Why is that?)

Described by source

• Tools and Algorithms for the Construction and Analysis of Systems

Cited In (9)

• Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
• Faster pushdown reachability analysis with applications in network verification
• Model Checking Procedural Programs
• Abstraction refinement with Craig interpolation and symbolic pushdown systems
• Faster Algorithms for Weighted Recursive State Machines
• Reducing concurrent analysis under a context bound to sequential analysis
• Title not available (Why is that?)
• Modeling and verification of infinite systems with resources
• Rewriting Models of Boolean Programs

This page was built for software: jMoped