Search results
From MaRDI portal
- interpretationtheorem provingprogram logiccomputer securitydata flow analysisJava byte code Mathematics Subject Classification ID Mathematical aspects of software...15 bytes (304 words) - 15:01, 30 January 2024
- and certification for multithreaded Java Verification of Java Programs with Generics Rule-based programming in Java for protocol verification Title not...15 bytes (280 words) - 16:13, 31 January 2024
- (Why is that?) Uses Software JavaScript Qooxdoo GWT Dava PrototypeJS WeirdX SAXON This page was built for publication: Byte code level cross-compilation for...15 bytes (144 words) - 21:34, 30 January 2024
- ) Theory and Applications of Satisfiability Testing Java-MaC: A run-time assurance approach for Java programs Learning regular sets from queries and counterexamples...15 bytes (308 words) - 04:27, 30 January 2024
- operating-system code A verified CompCert front-end for a memory model supporting pointer arithmetic and uninitialised data Formal verification of C systems code. Structured...15 bytes (475 words) - 18:18, 30 January 2024
- certifying computations Extending Sledgehammer with SMT Solvers Verification and code generation for invariant diagrams in Isabelle Extending Sledgehammer with...15 bytes (299 words) - 10:43, 3 February 2024
- Formalizing the Edmonds-Karp Algorithm Animating the Formalised Semantics of a Java-Like Language Efficient verified (UN)SAT certificate checking The Isabelle...15 bytes (432 words) - 00:57, 5 February 2024
- heavy string constraints VeRoViz: A Vehicle Routing Visualization Toolkit Byte code level cross-compilation for developing web applications A Provably Correct...12 bytes (763 words) - 20:10, 5 March 2024
- is not available (Why is that?) zbMATH Keywords Formal MethodsB MethodByte Code Verification Mathematics Subject Classification ID Mathematical aspects...15 bytes (127 words) - 01:01, 8 February 2024
