Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: PRISM : Probabilistic Symbolic Model Checker ?
A Markov Chain Model Checker
Formal verification of higher-order probabilistic programs
The Formal Specification Language mCRL2
A survey of recent advances in SAT-based formal verification
Localization and Inhibition of Malicious Behaviors through a Model Checking based methodology
QBF-Based Formal Verification: Experience and Perspectives
Symbolic execution with mixed concrete-symbolic solving
Symbolic execution and program testing
Combining the logical and the probabilistic in program analysis
Symbolic execution for software testing in practice: preliminary assessment
Specification and Verification of Concurrent Programs by forall-Automata
New Techniques that Improve MACE-style Finite Model Finding
a formal verification framework for static analysis .
Evaluating Symbolic Execution-Based Test Tools
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
Mop: an efficient and generic runtime verification framework
Symbolic execution for software testing: three decades later
Practical Formal Verification of Domain-Specific Language Applications
Annotated probabilistic temporal logic
Finite state machine induction using genetic algorithm based on testing and model checking
Efficient and Secure Top-k Queries With Top Order-Preserving Encryption
Medical Students' Experience of and Reaction to Stress: The Role of Depression and Anxiety
Verifying Continuous Time Markov Chains
System modeling based on machine learning for anomaly detection and predictive maintenance in industrial plants
Optimizing the Multiclass F-Measure via Biconcave Programming