Bandera

swMATH7663MaRDI QIDQ19685FDOQ19685

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• Syntax-directed model checking of sequential programs
• Title not available (Why is that?)
• Efficient SAT-based bounded model checking for software verification
• Title not available (Why is that?)
• Title not available (Why is that?)
• Compositional analysis of C/C++ programs with veriSoft
• Space-reduction strategies for model checking dynamic software
• Slicing techniques for verification re-use
• Title not available (Why is that?)
• Model checking dynamic memory allocation in operating systems
• Model Checking Software
• Title not available (Why is that?)
• Verification, Model Checking, and Abstract Interpretation
• Computer Aided Verification
• Computer Aided Verification
• Computer Aided Verification
• Title not available (Why is that?)
• Inference of Event-Recording Automata Using Timed Decision Trees
• Title not available (Why is that?)
• Model Checking Quantified Computation Tree Logic
• Title not available (Why is that?)
• Fairness modulo theory: a new approach to LTL software model checking
• Correct transformation: from object-based graph grammars to PROMELA
• Title not available (Why is that?)
• Formal verification for C program
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Efficient verification of sequential and concurrent C programs
• Title not available (Why is that?)
• MAVEN: Modular aspect verification and interference analysis
• A local approach for temporal model checking of Java bytecode
• Title not available (Why is that?)
• A general framework for types in graph rewriting
• Counterexample-guided predicate abstraction of hybrid systems
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Hybrid automata-based CEGAR for rectangular hybrid systems
• Computer aided verification. 16th international conference, CAV 2004, Boston, MA, USA, July 13--17, 2004. Proceedings.
• Application of static analyses for state-space reduction to the microcontroller binary code
• Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving
• Fundamental Approaches to Software Engineering
• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model checking RAISE applicative specifications
• Integrating a formal method into a software engineering process with UML and Java
• Software Model Checking: Searching for Computations in the Abstract or the Concrete
• Learning of event-recording automata
• Using heuristic search for finding deadlocks in concurrent systems
• Specification and (property) inheritance in CSP-OZ
• Title not available (Why is that?)
• On partial state matching
• Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs
• Tools and Algorithms for the Construction and Analysis of Systems
• Concurrent software verification with states, events, and deadlocks
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstraction as the key for invariant verification
• Title not available (Why is that?)
• Model Checking Software
• Automated compositional abstraction refinement for concurrent C programs: a two-level approach
• Random walk based heuristic algorithms for distributed memory model checking
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• Programming Languages and Systems
• Title not available (Why is that?)
• An overview of the runtime verification tool Java PathExplorer
• TASS: the toolkit for accurate scientific software
• Translating Java for multiple model checkers: The Bandera back-end
• Verifying time partitioning in the DEOS scheduling kernel
• Java-MaC: A run-time assurance approach for Java programs
• Aspect Categories and Classes of Temporal Properties
• Title not available (Why is that?)
• Model Checking Software
• Title not available (Why is that?)
• Programming Languages and Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• LCF-style Platform based on Multiway Decision Graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Highly dependable concurrent programming using design for verification
• Observations in using parallel and sequential evolutionary algorithms for automatic software testing
• Combining model checking and testing
• Title not available (Why is that?)
• Compiler Construction
• Title not available (Why is that?)
• Title not available (Why is that?)
• A compositional behavioral modeling framework for embedded system design and conformance checking
• Combining Model Checking and Deduction
• Some lessons from using static analysis and software model checking for bug finding
• From safety critical Java programs to timed process models
• Title not available (Why is that?)

This page was built for software: Bandera