Propositional Reasoning
Abstract elided by the publisher.
1,553 papers · page 69 of 78
Verification of Vortex Workflows
Abstract elided by the publisher.
Compositional Message Sequence Charts
Abstract elided by the publisher.
Linear Parametric Model Checking of Timed Automata
Abstract elided by the publisher.
Testing an Intentional Naming Scheme Using Genetic Algorithms
Abstract elided by the publisher.
An Automata Based Interpretation of Live Sequence Charts
Abstract elided by the publisher.
Incremental Verification by Abstraction
Abstract elided by the publisher.
Hardware/Software Co-Design Using Functional Languages
Abstract elided by the publisher.
Automated Test Generation from Timed Automata
Abstract elided by the publisher.
The Erlang Verification Tool
Abstract elided by the publisher.
Model Checking CTL*[DC]
Abstract elided by the publisher.
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs
Abstract elided by the publisher.
Automatic Deductive Verification with Invisible Invariants
Abstract elided by the publisher.
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions
Abstract elided by the publisher.
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders
Abstract elided by the publisher.
Model Checking Syllabi and Student Carreers
Abstract elided by the publisher.
TATOO: Testing and Analysis Tool for Object- Oriented Software
Abstract elided by the publisher.
Simulation Revisited
Abstract elided by the publisher.
A Technique for Invariant Generation
Abstract elided by the publisher.
Branching vs. Linear Time: Final Showdown
Abstract elided by the publisher.