Learning to verify branching time properties

DOI10.1007/s10703-006-0026-xzbMath1118.68554OpenAlexW1999625645MaRDI QIDQ2642669

Abhay Vardhan, Mahesh Viswanathan

Publication date: 17 August 2007

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2142/11092

zbMATH Keywords

LearningCTLVerification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Action language verifier: An infinite-state model checker for reactive software specifications ⋮ Learning to verify branching time properties

Uses Software

• TREX
• LASH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Learning regular sets from queries and counterexamples
• Inference of finite automata using homing sequences
• Learning to verify branching time properties
• A lattice-theoretical fixpoint theorem and its applications
• Regular Model Checking using Widening Techniques
• Mining specifications
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Computer Aided Verification
• Computer Aided Verification
• Computer Aided Verification
• Computer Aided Verification
• Well-structured transition systems everywhere!