The following pages link to (Q2733893):
Displaying 40 items.
- Formal analysis of oscillatory behaviors in biological regulatory networks: an alternative approach (Q276005) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Automatic verification of reduction techniques in higher order logic (Q469363) (← links)
- Model checking RAISE applicative specifications (Q470000) (← links)
- Formal reliability analysis of combinational circuits using theorem proving (Q545153) (← links)
- Verification of software requirements on program systems represented by attribute transition systems (Q557426) (← links)
- From NuSMV to SPIN: Experiences with model checking flight guidance systems (Q883136) (← links)
- Verification of scope-dependent hierarchical state machines (Q948087) (← links)
- Vivid: a framework for heterogeneous problem solving (Q1045993) (← links)
- Enhancing model checking in verification by AI techniques (Q1606310) (← links)
- Reasoning about graded strategy quantifiers (Q1706169) (← links)
- Provably correct systems. Papers based on the ProCoS workshop, London, UK, March 2015 (Q1728557) (← links)
- A logical characterization of data languages. (Q1853115) (← links)
- Pragmatics of model checking: An STTT special section (Q1856169) (← links)
- Is your model checker on time? On the complexity of model checking for timed modal logics (Q1858436) (← links)
- Syntax-directed model checking of sequential programs (Q1858441) (← links)
- Model checking techniqes for the analysis of reactive systems (Q1868165) (← links)
- On the computation of counterexamples in compositional nonblocking verification (Q2197583) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Deterministic delay analysis of AVB switched Ethernet networks using an extended trajectory approach (Q2362235) (← links)
- Periodicity based decidable classes in a first order timed logic (Q2368906) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- Formal verification of multitasking applications based on timed automata model (Q2475307) (← links)
- A parametric analysis of the state-explosion problem in model checking (Q2495399) (← links)
- Model-based testing of reactive systems. Advanced lectures. (Q2565429) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- Synergistic verification and validation of systems and software engineering models (Q3654541) (← links)
- Separation logics and modalities: a survey (Q4586138) (← links)
- The tool TINA – Construction of abstract state spaces for petri nets and time petri nets (Q4671274) (← links)
- (Q4806203) (← links)
- Model Checking Software (Q5308383) (← links)
- Database Theory - ICDT 2005 (Q5316588) (← links)
- Computer Aided Verification (Q5716547) (← links)
- Computer Aided Verification (Q5716550) (← links)
- Computer Aided Verification (Q5716552) (← links)
- FM 2005: Formal Methods (Q5716906) (← links)
- Model checking, synthesis, and learning (Q6041187) (← links)
- A survey on compositional algorithms for verification and synthesis in supervisory control (Q6080680) (← links)
- Quantitatively nonblocking supervisory control of discrete-event systems (Q6632516) (← links)
