Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Approximate Symbolic Model Checking of Continuous-Time Markov Chains
Verifying Continuous Time Markov Chains
Nusmv 2: An opensource tool for symbolic model checking
Ymer: A statistical model checker
Finite state machine induction using genetic algorithm based on testing and model checking
HYTECH: A Model Checker for Hybrid Systems
Bayesian statistical model checking with application to Simulink/Stateflow verification
Minimization of symbolic automata
Combining symbolic execution with model checking to verify parallel numerical programs
New Techniques that Improve MACE-style Finite Model Finding
A storm is Coming: A Modern Probabilistic Model Checker
Bisimulation minimisation mostly speeds up probabilistic model checking
Behavioral consistency of C and Verilog programs using bounded model checking
Systematic Model-Based Safety Assessment via Probabilistic Model Checking
Formal Verification of Probabilistic SystemC Models with Statistical Model Checking
Action Language Verifier: An Infinite-State Model Checker for Reactive Software Specifications
chapter 6 continuous time markov chains .
performance evaluation and model checking join forces .
Probabilistic Verification of Discrete Event Systems using Acceptance Sampling
A SAT-based procedure for verifying finite state machines in ACL2
Verifying simulink stateflow model: timed automata approach
On the speedup of single-disk failure recovery in XOR-coded storage systems: Theory and practice
Critical Periods in Speech Perception: New Directions
Model-checking for real-time systems
A Bottom-Source Single-Gate Vertical Channel (BS-SGVC) 3D NAND Flash Architecture and Studies of Bottom Source Engineering
Mushroom Polysaccharides: Chemistry and Antiobesity, Antidiabetes, Anticancer, and Antibiotic Properties in Cells, Rodents, and Humans