Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Model checking SystemC designs using timed automata
timed automata : semantics , algorithms and tools .
Hybrid Automata: an algorithmic approach to the specification and verification of hybrid systems
A survey of recent advances in SAT-based formal verification
Modeling and verification of time dependent systems using time Petri nets
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
A buffer overflow benchmark for software model checkers
A Survey of Automated Techniques for Formal Software Verification
Testing Software Design Modeled by Finite-State Machines
Run-time efficient probabilistic model checking
An Automata-Theoretic Approach to Linear Temporal Logic
Computer Aided Verification
Design of Embedded Systems : Formal Models , Validation , and Synthesis
PRISM: probabilistic model checking for performance and reliability analysis
PRISM : Probabilistic Symbolic Model Checker ?
A SAT-based procedure for verifying finite state machines in ACL2
A Survey of Statistical Model Checking
Verification of timed-arc Petri nets
Automatic verification of probabilistic concurrent finite state programs
Membership questions for timed and hybrid automata
Symbolic model checking without BDDs
Adhesive force of a single gecko foot-hair
Word 2 vec : What and Why
Concepts in configuration management systems
"Like Having a Really Bad PA": The Gulf between User Expectation and Experience of Conversational Agents
Modeling and verification of time dependent systems using time Petri nets