The following pages link to Java PathFinder (Q19680):
Displaying 50 items.
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Formal testing for separation assurance (Q434444) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Model checking RAISE applicative specifications (Q470000) (← links)
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Threaded behavior protocols (Q470016) (← links)
- On theorem prover-based testing (Q470025) (← 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)
- 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)
- Beyond contracts for concurrency (Q846113) (← links)
- Optimistic synchronization-based state-space reduction (Q853724) (← links)
- From NuSMV to SPIN: Experiences with model checking flight guidance systems (Q883136) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Using SPIN to analyse the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol (Q1402474) (← links)
- Symbolic computation via program transformation (Q1623144) (← links)
- On partial state matching (Q1682284) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Understanding parameters of deductive verification: an empirical investigation of KeY (Q1791175) (← links)
- Model checking JAVA programs using JAVA PathFinder (Q1856163) (← links)
- Syntax-directed model checking of sequential programs (Q1858441) (← links)
- An overview of the runtime verification tool Java PathExplorer (Q1878923) (← links)
- Predicate abstraction of ANSI-C programs using SAT (Q1888196) (← links)
- Efficient verification of sequential and concurrent C programs (Q1888200) (← links)
- Efficient bounded model checking of heap-manipulating programs using tight field bounds (Q2044185) (← links)
- Machine learning steered symbolic execution framework for complex software code (Q2050084) (← links)
- System-level state equality detection for the formal dynamic verification of legacy distributed applications (Q2413022) (← links)
- Abstract interpretation of microcontroller code: intervals meet congruences (Q2442953) (← links)
- Verification of Boolean programs with unbounded thread creation (Q2464944) (← links)
- (Q2722045) (← links)
- (Q2753748) (← links)
- (Q2753757) (← links)
- (Q2753762) (← links)
- (Q2753764) (← links)
- (Q2764134) (← links)
- (Q2769585) (← links)
- Model Checking Erlang Programs – Abstracting Recursive Function Calls (Q2841292) (← links)
- (Q2845501) (← links)
- (Q2845504) (← links)
- (Q2852026) (← links)
- Loop Invariant Symbolic Execution for Parallel Programs (Q2891433) (← links)
- Runtime Exception Detection in Java Programs Using Symbolic Execution (Q2937545) (← links)
- Automating Errors and Conflicts Prognostics and Prevention (Q3059878) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- Towards a Framework for Constraint-Based Test Case Generation (Q3558292) (← links)
