Cover Image
Read Now

1
Published 2017
Springer International Publishing
Table of Contents: “...Automated verification techniques -- Testing and scheduling -- Formal Methods for mobile...”
Cover Image
Read Now

2
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Nets to Networks of Timed Automata -- Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... -- Thread-Modular Verification Is Cartesian Abstract Interpretation -- Formal Languages -- Capture-Avoiding...”
Cover Image
Read Now

4
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- A Tableau for CTL* -- Certifiable Specification and Verification of C Programs -- Formal Reasoning...”
Cover Image
Read Now

6
Published 2024
Springer Nature Switzerland
Table of Contents: “... for Graph Transformation Systems -- Formal Specification of Trusted Execution Environment APIs -- Monitoring...”