Temporal abstract interpretation
From MaRDI portal
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
Cited in
(33)- Parsing as abstract interpretation of grammar semantics
- scientific article; zbMATH DE number 1692938 (Why is no real title available?)
- scientific article; zbMATH DE number 1948413 (Why is no real title available?)
- Constructive Galois connections
- Inverse-limit and topological aspects of abstract interpretation
- Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
- Model-checking view-based partial specifications
- A CTL-based logic for program abstractions
- Partial model checking via abstract interpretation
- Refining and compressing abstract model checking
- Towards automatic temporal logic verification of value passing process algebra using abstract interpretation
- A state/event-based model-checking approach for the analysis of abstract system properties
- Semantics of temporal classes
- Fixpoint theory -- upside down
- Trace-based deductive verification
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- Abstract interpretation from a denotational-semantics perspective
- Constraint-based abstract semantics for temporal logic: a direct approach to design and implementation
- Incompleteness of states w.r.t. traces in model checking
- Abstraction and abstraction refinement
- Calculational design of a regular model checker by abstract interpretation
- Extracting program logics from abstract interpretations defined by logical relations
- On model checking multiple hybrid views
- Programming Languages and Systems
- Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms
- A monoidal view on fixpoint checks
- scientific article; zbMATH DE number 7559481 (Why is no real title available?)
- Expressive quantale-valued logics for coalgebras: an adjunction-based approach
- Observational Completeness on Abstract Interpretation
- Syntactic and semantic soundness of structural dataflow analysis
- On collecting semantics for program analysis
- Internal and External Logics of Abstract Interpretations
- Towards the Verification of Attributed Graph Transformation Systems
This page was built for publication: Temporal abstract interpretation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178838)
