59:36

[FTSCS] Cooperative Verification: Towards Reliable Safety-Critical Systems

ACM SIGPLAN

29:10

[FTSCS] Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata

ACM SIGPLAN

28:33

[FTSCS] Q: A Sound Verification Framework for Statecharts and Their Implementations

ACM SIGPLAN

29:20

[FTSCS] strategFTO: Untimed Control for Timed Opacity

ACM SIGPLAN

26:58

[FTSCS] Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic Search

ACM SIGPLAN

28:14

[FTSCS] Proving Memory Access Violations in Isabelle/HOL

ACM SIGPLAN

28:15

[FTSCS] Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT

ACM SIGPLAN

29:05

[FTSCS]Synchronous Programming and Refinement Types in Robotics: From Verification to Implementation

ACM SIGPLAN

24:34

[FTSCS] Formal Probabilistic Risk Assessment of a Nuclear Power Plant

ACM SIGPLAN

23:22

[FTSCS] Modelling a Blockchain for Smart Contract Verification using DeepSEA

ACM SIGPLAN

28:49

[FTSCS] Towards a Formalization of the Active Corner Method for Collision Avoidance in PVS

ACM SIGPLAN