Deductive verification of alternating systems
From MaRDI portal
Recommendations
- Deductive verification of continuous dynamical systems
- A deductive approach towards reasoning about algebraic transition systems
- scientific article; zbMATH DE number 1444728
- scientific article; zbMATH DE number 7361375
- scientific article; zbMATH DE number 2102692
- Verification of SMT systems with quantifiers
- A proof system for conditional algebraic specifications
- A Sound and Complete Deductive System for CTL* Verification
Cites work
- A compositional approach to CTL^* verification
- A course in game theory.
- Alternating-time temporal logic
- Alternation
- An axiomatic basis for computer programming
- An axiomatization of full computation tree logic
- Automatic generation of invariants and intermediate assertions
- Borel determinacy
- Complete axiomatization and decidability of alternating-time temporal logic
- Compositional analysis of contract-signing protocols
- Decidability of Second-Order Theories and Automata on Infinite Trees
- Deductive verification of alternating systems
- Formal analysis of multiparty contract signing
- Generalized temporal verification diagrams
- scientific article; zbMATH DE number 1617325 (Why is no real title available?)
- scientific article; zbMATH DE number 1670849 (Why is no real title available?)
- scientific article; zbMATH DE number 3880483 (Why is no real title available?)
- scientific article; zbMATH DE number 4153903 (Why is no real title available?)
- scientific article; zbMATH DE number 3735115 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 1142326 (Why is no real title available?)
- scientific article; zbMATH DE number 1927551 (Why is no real title available?)
- scientific article; zbMATH DE number 1479642 (Why is no real title available?)
- scientific article; zbMATH DE number 1497485 (Why is no real title available?)
- scientific article; zbMATH DE number 3993574 (Why is no real title available?)
- scientific article; zbMATH DE number 868107 (Why is no real title available?)
- scientific article; zbMATH DE number 1390334 (Why is no real title available?)
- scientific article; zbMATH DE number 3215740 (Why is no real title available?)
- scientific article; zbMATH DE number 3302923 (Why is no real title available?)
- scientific article; zbMATH DE number 2209335 (Why is no real title available?)
- scientific article; zbMATH DE number 3078993 (Why is no real title available?)
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- Infinite games played on finite graphs
- On the error term of an asymptotic formula of Ramanujan
- On the synthesis of strategies in infinite games
- Optimistic fair exchange of digital signatures
- Proving ATL* Properties of Infinite-State Systems
- Results on the propositional \(\mu\)-calculus
- Secure protocol composition
- Soundness and Completeness of an Axiom System for Program Verification
- Temporal verification of reactive systems: response
- The \(\mu\)-calculus as an assertion-language for fairness arguments
- The strict determinateness of certain infinite games
- The temporal logic of branching time
- Using branching time temporal logic to synthesize synchronization skeletons
- Verification of concurrent programs: The automata-theoretic framework
- Verification of temporal properties
- “Sometimes” and “not never” revisited
Cited in
(5)- scientific article; zbMATH DE number 1670842 (Why is no real title available?)
- Proving ATL* Properties of Infinite-State Systems
- scientific article; zbMATH DE number 1927551 (Why is no real title available?)
- Abstraction-based verification of infinite-state reactive modules
- Deductive verification of alternating systems
This page was built for publication: Deductive verification of alternating systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q939163)
