|
Conferences in DBLP
Software Verification and System Assurance. [Citation Graph (, )][DBLP]
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. [Citation Graph (, )][DBLP]
Implementation Correctness of a Real-Time Operating System. [Citation Graph (, )][DBLP]
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). [Citation Graph (, )][DBLP]
Simulation Relations for Systems with Distributed Interfaces. [Citation Graph (, )][DBLP]
An Automated Approach to Verifying Diagnosability in Multi-agent Systems. [Citation Graph (, )][DBLP]
Specifying Interacting Components with Coordinated Concurrent Scenarios. [Citation Graph (, )][DBLP]
Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol. [Citation Graph (, )][DBLP]
Relational Interprocedural Verification of Concurrent Programs. [Citation Graph (, )][DBLP]
Using Change Impact Analysis to Select Tests for Extended Finite State Machines. [Citation Graph (, )][DBLP]
Overflow and Roundoff Error Analysis via Model Checking. [Citation Graph (, )][DBLP]
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. [Citation Graph (, )][DBLP]
Heuristic Sensitivity in Guided Random-Walk Based Model Checking. [Citation Graph (, )][DBLP]
Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables. [Citation Graph (, )][DBLP]
Property-Driven Scenario Integration. [Citation Graph (, )][DBLP]
Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences. [Citation Graph (, )][DBLP]
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs. [Citation Graph (, )][DBLP]
Completeness of Pointer Program Verification by Separation Logic. [Citation Graph (, )][DBLP]
Programming Sagas in SOCK. [Citation Graph (, )][DBLP]
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. [Citation Graph (, )][DBLP]
Event-B Patterns and Their Tool Support. [Citation Graph (, )][DBLP]
Specifying and Checking Refinement Relationships in VDM++. [Citation Graph (, )][DBLP]
A Computability Perspective on Self-Modifying Programs. [Citation Graph (, )][DBLP]
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. [Citation Graph (, )][DBLP]
Refinement via Interpretation. [Citation Graph (, )][DBLP]
Ontology-Based Reasoning in Requirements Elicitation. [Citation Graph (, )][DBLP]
Formal Modeling and Analysis of an IETF Multicast Protocol. [Citation Graph (, )][DBLP]
Mapping between Alloy Specifications and Database Implementations. [Citation Graph (, )][DBLP]
Modal Contracts for Component-Based Design. [Citation Graph (, )][DBLP]
Precise Model-Driven Transformations Based on Graphs and Metamodels. [Citation Graph (, )][DBLP]
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. [Citation Graph (, )][DBLP]
|