The following pages link to Bandera (Q19685):
Displaying 50 items.
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Model checking RAISE applicative specifications (Q470000) (← links)
- Learning of event-recording automata (Q604474) (← links)
- MAVEN: Modular aspect verification and interference analysis (Q609017) (← links)
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving (Q617922) (← links)
- Application of static analyses for state-space reduction to the microcontroller binary code (Q617924) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- On partial state matching (Q1682284) (← links)
- Fairness modulo theory: a new approach to LTL software model checking (Q1702910) (← links)
- Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings. (Q1763061) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Specification and (property) inheritance in CSP-OZ (Q1776587) (← links)
- Syntax-directed model checking of sequential programs (Q1858441) (← links)
- Java-MaC: A run-time assurance approach for Java programs (Q1878917) (← links)
- An overview of the runtime verification tool Java PathExplorer (Q1878923) (← links)
- Efficient verification of sequential and concurrent C programs (Q1888200) (← links)
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs (Q1888204) (← links)
- TASS: the toolkit for accurate scientific software (Q1949767) (← links)
- Counterexample-guided predicate abstraction of hybrid systems (Q2368954) (← links)
- Concurrent software verification with states, events, and deadlocks (Q2432214) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Observations in using parallel and sequential evolutionary algorithms for automatic software testing (Q2482366) (← links)
- Compositional analysis of C/C++ programs with veriSoft (Q2502271) (← links)
- A compositional behavioral modeling framework for embedded system design and conformance checking (Q2506261) (← links)
- Slicing techniques for verification re-use (Q2571210) (← links)
- Using heuristic search for finding deadlocks in concurrent systems (Q2573636) (← links)
- A general framework for types in graph rewriting (Q2581012) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- (Q2729064) (← links)
- (Q2753748) (← links)
- (Q2753756) (← links)
- (Q2753757) (← links)
- (Q2753762) (← links)
- (Q2753764) (← links)
- (Q2764134) (← links)
- (Q2769585) (← links)
- (Q2769592) (← links)
- (Q2769593) (← links)
- Random walk based heuristic algorithms for distributed memory model checking (Q2845493) (← links)
- Some lessons from using static analysis and software model checking for bug finding (Q2845497) (← links)
- Automated compositional abstraction refinement for concurrent C programs: a two-level approach (Q2845499) (← links)
- Space-reduction strategies for model checking dynamic software (Q2845504) (← links)
- (Q3045275) (← links)
- Model Checking of Concurrent Algorithms: From Java to C (Q3163921) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
