Pages that link to "Item:Q1856163"
From MaRDI portal
The following pages link to Model checking JAVA programs using JAVA PathFinder (Q1856163):
Displaying 24 items.
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Threaded behavior protocols (Q470016) (← 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)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- Syntax-directed model checking of sequential programs (Q1858441) (← links)
- An overview of the runtime verification tool Java PathExplorer (Q1878923) (← 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)
- (Q2753764) (← links)
- Using Agent JPF to Build Models for Other Model Checkers (Q2851976) (← links)
- Computer Aided Verification (Q5312939) (← links)
- (Q6079211) (← links)
- A Context-Free Symbiosis of Runtime Verification and Automata Learning (Q6488340) (← links)
